diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/_static/kerb.css | 6 | ||||
| -rw-r--r-- | doc/_templates/layout.html | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/doc/_static/kerb.css b/doc/_static/kerb.css index 1eeebb71dc..4d79929146 100644 --- a/doc/_static/kerb.css +++ b/doc/_static/kerb.css @@ -46,6 +46,12 @@ div.header div.right a { float: right; } +div.header div.rel { + font-family: "Georgia", "Times New Roman", serif, black; + font-weight: normal; + margin-bottom: 1.6em; +} + /* Content */ div.document { diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index 4ec97c2ff5..28527aceaa 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -47,9 +47,9 @@ {% block headertitle %} <h1><a href="{{ pathto (master_doc) }}" style="color: {{ theme_bgcolor }}; font-size: 120%; - padding-top: 10px;">{{ shorttitle|e }}</a><h1> + 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 }}" |