diff options
Diffstat (limited to 'doc/_static')
| -rw-r--r-- | doc/_static/kerb.css | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/doc/_static/kerb.css b/doc/_static/kerb.css index 4a17f8fda..1eeebb71d 100644 --- a/doc/_static/kerb.css +++ b/doc/_static/kerb.css @@ -31,13 +31,12 @@ div.header-wrapper { div.header { padding-top: 10px; - padding-bottom: 0px; + padding-bottom: 10px; } -div.header h1 a { - color: #5d1509; - font-size: 120%; - padding-top: 10px; +div.header h1 { + font-family: "Georgia", "Times New Roman", serif, black; + font-weight: normal; } div.header div.right a { @@ -47,11 +46,6 @@ div.header div.right a { float: right; } -div.header div.rel{ - font-size: 50%; - padding-bottom: 0px; -} - /* Content */ div.document { @@ -84,7 +78,7 @@ div.sidebar { width: 20%; margin: 0; padding: 0; - background: #F9F9F9; + background-color: white; } div.sidebar ul { |
