Merge pull request openhwgroup#942 from pascalgouedo/dev_dd_pgo_doc

User Manual html generation improvments
pascalgouedo · Feb 14, 2024 · 3be83b2 · 3be83b2
2 parents 1a58c7b + 376c854
commit 3be83b2
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css
@@ -1,3 +1,9 @@
 .no-scrollbar-table td {
   white-space: normal !important;
 }
+.wy-side-nav-search>div.version {
+  color:black
+}
+.wy-side-nav-search>a.icon.icon-home {
+  color:black
+}
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -38,7 +38,7 @@
 # -- Project information -----------------------------------------------------
 
 project = u'CORE-V CV32E40P User Manual'
-copyright = u'2023, OpenHW Group'
+copyright = u'2024, OpenHW Group'
 author = u'PULP Platform and OpenHW Group'
 
 # The short X.Y version
@@ -111,8 +111,10 @@
 # further.  For a list of options available for each theme, see the
 # documentation.
 #
-html_theme_options = {'style_nav_header_background': '#DDDDDD'}
+html_theme_options = {'style_nav_header_background': '#DDDDDD', 'prev_next_buttons_location': 'both'}
 html_logo = '../images/openhw-landscape.svg'
+html_show_sphinx = False
+html_show_sourcelink = False
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,