From c5be1c53faa525c6ed520c4e8dd2f83b5cb76b4a Mon Sep 17 00:00:00 2001
From: Felix Exner <feex@universal-robots.com>
Date: Mon, 20 Jan 2025 12:30:09 +0100
Subject: [PATCH] Add sphinx-tabs to extension set

---
 conf.py          | 3 ++-
 requirements.txt | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/conf.py b/conf.py
index a94033d..587cb69 100644
--- a/conf.py
+++ b/conf.py
@@ -39,10 +39,11 @@
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
-    "sphinx_copybutton",
     "sphinx.ext.githubpages",
     "sphinx.ext.todo",
+    "sphinx_copybutton",
     "sphinx_rtd_theme",
+    "sphinx_tabs.tabs",
 ]
 
 # Add any paths that contain templates here, relative to this directory.
diff --git a/requirements.txt b/requirements.txt
index d014eb7..a89982b 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,3 +1,4 @@
 sphinx
-sphinx_rtd_theme
 sphinx-copybutton
+sphinx-tabs
+sphinx_rtd_theme