diff --git a/docs/_static/css/custom_styles.css b/docs/_static/css/custom_styles.css new file mode 100644 index 0000000000..ec154016be --- /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 6e6d0aa6bf..56dde9210d 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