diff --git a/doc/_static/style.css b/doc/_static/style.css new file mode 100644 index 0000000000000000000000000000000000000000..b07bdb1b51a79acbb63d2a9b62860153ebf3741b --- /dev/null +++ b/doc/_static/style.css @@ -0,0 +1,3 @@ +.wy-nav-content { + max-width: none; +} diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html new file mode 100644 index 0000000000000000000000000000000000000000..3e44f4a314727bea575cba269197f9a44584cf85 --- /dev/null +++ b/doc/_templates/layout.html @@ -0,0 +1,4 @@ +{% extends "!layout.html" %} +{% block extrahead %} + <link href="{{ pathto("_static/style.css", True) }}" rel="stylesheet" type="text/css"> +{% endblock %} diff --git a/doc/conf.py b/doc/conf.py index c822aa64808f039d7f956fef3044cada9fcd8d62..baf7af8510affeb3afadb52f091aff8e5cdf179d 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -168,7 +168,7 @@ html_favicon = 'img/bob-favicon.ico' # 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, # so a file named "default.css" will overwrite the builtin "default.css". -#html_static_path = ['_static'] +html_static_path = ['_static'] # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format.