Changes for ZEISS branding

ZeissIQS · Oct 25, 2023 · 95d59ee · 95d59ee
1 parent 2a0b371
commit 95d59ee
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/doc/_static/css/theme_zeiss.css b/doc/_static/css/theme_zeiss.css
@@ -0,0 +1,9 @@
+/* Override some styles to match ZEISS branding */
+
+/* Based on Read the Docs theme */
+@import 'theme.css';
+
+/* Changed from #298069 */ 
+.wy-side-nav-search {
+    background: #343131;
+}
diff --git a/doc/conf.py b/doc/conf.py
@@ -41,6 +41,10 @@
 html_theme = "sphinx_rtd_theme"
 html_static_path = ['_static']
 
+# -- Override some "sphinx_rtd_theme" styles to match ZEISS branding ---------------
+# https://docs.readthedocs.io/en/stable/guides/adding-custom-css.html
+html_style = "css/theme_zeiss.css"
+
 favicons = [
     {
         "rel": "icon",