docs: added css styles to make tabs more visual

zerothi · Apr 19, 2023 · 5b7ad81 · 5b7ad81
1 parent 94a101f
commit 5b7ad81
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/docs/_static/css/custom_styles.css 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
@@ -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