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