From 5b7ad8158bc3f5bc96a2c725498a8875b5cc42db Mon Sep 17 00:00:00 2001
From: Pol Febrer <pfebrer96@gmail.com>
Date: Wed, 19 Apr 2023 11:30:08 +0200
Subject: [PATCH] docs: added css styles to make tabs more visual

---
 docs/_static/css/custom_styles.css | 24 ++++++++++++++++++++++++
 docs/conf.py                       |  5 +++++
 2 files changed, 29 insertions(+)
 create mode 100644 docs/_static/css/custom_styles.css

diff --git a/docs/_static/css/custom_styles.css b/docs/_static/css/custom_styles.css
new file mode 100644
index 000000000..ec154016b
--- /dev/null
+++ b/docs/_static/css/custom_styles.css
@@ -0,0 +1,24 @@
+/*STYLES TO MAKE TABS MORE VISUAL*/
+
+/*The parent container of tabs*/
+.tab-set {
+  border: 1px solid #ccc
+}
+
+/*Individual box of each tab*/
+.tab-set > label {
+  margin-bottom: 0
+}
+
+/*Container appearing below the tabs, with the contents of the active tab*/
+.tab-content {
+  background-color: aliceblue;
+  padding: 20px
+}
+
+/*Initial paragraph of the content. By default there's a top margin 
+ but we already specify a padding of 20 px for the content no matter what the
+ first child is.*/
+.tab-content > p:first-child {
+  margin-top: 0
+}
diff --git a/docs/conf.py b/docs/conf.py
index 6e6d0aa6b..56dde9210 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -201,6 +201,11 @@
 else:
     html_static_path = []
 
+# Add any extra style files that we need
+html_css_files = [
+    'css/custom_styles.css',
+]
+
 # If false, no index is generated.
 html_use_modindex = True
 html_use_index = True