diff options
| -rw-r--r-- | doc/_static/kerb.css | 16 | ||||
| -rw-r--r-- | doc/_templates/layout.html | 11 |
2 files changed, 14 insertions, 13 deletions
diff --git a/doc/_static/kerb.css b/doc/_static/kerb.css index 1eeebb71dc..4a17f8fda2 100644 --- a/doc/_static/kerb.css +++ b/doc/_static/kerb.css @@ -31,12 +31,13 @@ div.header-wrapper { div.header { padding-top: 10px; - padding-bottom: 10px; + padding-bottom: 0px; } -div.header h1 { - font-family: "Georgia", "Times New Roman", serif, black; - font-weight: normal; +div.header h1 a { + color: #5d1509; + font-size: 120%; + padding-top: 10px; } div.header div.right a { @@ -46,6 +47,11 @@ div.header div.right a { float: right; } +div.header div.rel{ + font-size: 50%; + padding-bottom: 0px; +} + /* Content */ div.document { @@ -78,7 +84,7 @@ div.sidebar { width: 20%; margin: 0; padding: 0; - background-color: white; + background: #F9F9F9; } div.sidebar ul { diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index 4ec97c2ff5..6f3b944ce8 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -36,7 +36,8 @@ {% block header %} <div class="header-wrapper"> - <div class="header" style="padding-bottom: 0px;"> + <div class="header"> + <h1><a href="{{pathto(master_doc)}}">{{shorttitle|e}}</a></h1> {% if logo %} <p class="logo"> {# Link logo to kerberos.org #} @@ -44,12 +45,7 @@ src="{{ pathto('_static/' + logo, 1) }}" alt="Logo" /></a> </p> {% endif %} - {% block headertitle %} - <h1><a href="{{ pathto (master_doc) }}" - style="color: {{ theme_bgcolor }}; font-size: 120%; - padding-top: 10px;">{{ shorttitle|e }}</a><h1> - {% endblock %} - <div class="rel" style="font-size: 50%; padding-bottom: 0px;" > + <div class="rel"> {%- for rellink in rellinks|reverse %} <a href="{{ pathto(rellink[0]) }}" title="{{ rellink[1]|striptags }}" @@ -68,7 +64,6 @@ {%- block sidebar2 %} {%- endblock %} {%- block sidebar1 %} <div class="sidebar" - style="float: right; background: #F9F9F9"> <h2>{{ _('On this page') }} </h2> {{ toc }} <br/> |