Update docs theme

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

docs/source/conf.diff

@@ -0,0 +1,9 @@
+--- a/docs/source/conf.py
++++ b/docs/source/conf.py
+@@ -1,5 +1,5 @@
+ #!/usr/bin/env python3
+-project = 'YosysHQ Docs'
++project = 'YosysHQ SBY'
+ author = 'YosysHQ GmbH'
+ copyright ='2021 YosysHQ GmbH'
+ 

docs/source/conf.py

@@ -7,7 +7,7 @@ copyright ='2021 YosysHQ GmbH'
 html_theme = 'press'
 html_logo = '../static/logo.png'
 html_favicon = '../static/favico.png'
-html_css_files = ['yosyshq.css']
+html_css_files = ['yosyshq.css', 'custom.css']
 html_sidebars = {'**': ['util/searchbox.html', 'util/sidetoc.html']}
 
 # These folders are copied to the documentation's HTML output
@@ -24,3 +24,5 @@ html_theme_options = {
         ('Website', 'https://www.yosyshq.com'),
     ],
 }
+
+extensions = ['sphinx.ext.autosectionlabel']

docs/static/custom.css

@@ -0,0 +1 @@
+/* empty */

docs/static/yosyshq.css

@@ -1,35 +1,55 @@
-h1, h3, p.topic-title, a.current, a:hover,
-.content li.toctree-l1 > a {
-  color: #d6368f !important;
+h1, h3, p.topic-title, .content li.toctree-l1 > a {
+    color: #d6368f !important;
 }
 
-h2, p.admonition-title, dt,
-.content li.toctree-l2 > a {
-  color: #4b72b8;
+h2, p.admonition-title, dt, .content li.toctree-l2 > a {
+    color: #4b72b8;
 }
 
 a {
-  color: #8857a3;
+    color: #8857a3;
 }
 
-a.external {
-  color: #d6368f;
-  text-decoration: underline;
+a.current, a:hover, a.external {
+    color: #d6368f !important;
+}
+
+a.external:hover {
+    text-decoration: underline;
+}
+
+p {
+    text-align: justify;
 }
 
 .vp-sidebar a {
-  color: #d6368f;
+    color: #d6368f;
+}
+
+.vp-sidebar li li a {
+    color: #4b72b8;
+}
+
+.vp-sidebar h3 {
+    padding-left: 1.5rem !important;
+}
+
+.vp-sidebar ul a {
+    padding-left: 1.5rem !important;
+}
+
+.vp-sidebar ul ul a {
+    padding-left: 3rem !important;
 }
 
 .vp-sidebar .toctree-l1.current a {
-  border-left: 0.5rem solid #6ecbd7;
+    border-left: 0.5rem solid #6ecbd7;
 }
 
 .vp-sidebar .toctree-l1 a.current {
-  border-left: 0.5rem solid #8857a3;
+    border-left: 0.5rem solid #8857a3;
 }
 
-.injected .rst-current-version,
-.injected dt {
-  color: #6ecbd7 !important;  
+.injected .rst-current-version, .injected dt {
+    color: #6ecbd7 !important;
 }