gnunet-handbook

commit b871e1ed583453410745bf37d9b1893876c7545d
parent 7465793817fd81b47fd05e9f5f39268349f22244
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Mon,  1 Aug 2022 14:14:21 +0200

build, black

Diffstat:
M
.buildbot/build.sh
 | 
2
+-
M
conf.py
 | 
4
++--

2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.buildbot/build.sh b/.buildbot/build.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-make html
+make clean html
diff --git a/conf.py b/conf.py
@@ -55,11 +55,11 @@ html_theme_options = {
     'prev_next_buttons_location': 'bottom',
     'style_external_links': False,
     #'vcs_pageview_mode': '',
-    'style_nav_header_background': 'white',
+    'style_nav_header_background': 'black',
     # Toc options
     'collapse_navigation': True,
     'sticky_navigation': True,
-    'navigation_depth': 4,
+    #'navigation_depth': 4,
     'includehidden': True,
     'titles_only': False
 }