diff options
Diffstat (limited to 'doc/_static')
-rw-r--r-- | doc/_static/kerb.css | 7 |
1 files changed, 7 insertions, 0 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 { |