diff --git a/docs/_static/css/default.css b/docs/_static/css/default.css new file mode 100644 index 00000000..ed7cf80a --- /dev/null +++ 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 index 8f972ae1..12ae5f35 100644 --- 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. #