diff options
| -rw-r--r-- | doc/_static/kerb.css | 7 | ||||
| -rw-r--r-- | doc/conf.py | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/doc/_static/kerb.css b/doc/_static/kerb.css index f28349662..eb93bc48a 100644 --- a/doc/_static/kerb.css +++ b/doc/_static/kerb.css @@ -16,6 +16,9 @@ div.body { div.header, div.content, div.footer { margin-left: auto; margin-right: auto; + padding-left: 1em; + padding-right: 1em; + max-width: 60em; } div.header-wrapper { @@ -107,6 +110,10 @@ div.sidebar li.toctree-l4 a { display: none; } +div.sidebar input[type=text] { + width: auto; +} + /* Other body styles */ dt:target, .highlighted { diff --git a/doc/conf.py b/doc/conf.py index 53898aec7..44fe81257 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -107,8 +107,8 @@ html_theme = 'agogo' # further. For a list of options available for each theme, see the # documentation. html_theme_options = { "linkcolor": "#a63019", "footerbg": "#59121e", - "bgcolor": "#59121e", "documentwidth": "900px", - "pagewidth": "960px", "sidebarwidth": "40px" } + "bgcolor": "#59121e", "documentwidth": "80%", + "pagewidth": "auto", "sidebarwidth": "20%" } # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] |