Correct logo width, add white background (#190)

tomschr · scls19fr · commit 985a5a749ba2 · 2019-11-13T11:10:49.000+01:00
* Add custom CSS file to change size of the logo
* Add white background
diff --git a/docs/_static/css/default.css b/docs/_static/css/default.css
@@ -0,0 +1,6 @@
+/* Customize logo width */
+
+.wy-side-nav-search > a img.logo {
+	width: 6em;
+	background: white;
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -109,6 +109,8 @@
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_css_files = ['css/default.css']
+
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
 #

Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,8 @@`
`109`	`109`	`# so a file named "default.css" will overwrite the builtin "default.css".`
`110`	`110`	`html_static_path = ['_static']`
`111`	`111`
	`112`	`+html_css_files = ['css/default.css']`
	`113`	`+`
`112`	`114`	`# Custom sidebar templates, must be a dictionary that maps document names`
`113`	`115`	`# to template names.`
`114`	`116`	`#`