diff options
| author | Tom Yu <tlyu@mit.edu> | 2013-01-17 17:56:53 -0500 |
|---|---|---|
| committer | Tom Yu <tlyu@mit.edu> | 2013-01-31 15:10:20 -0500 |
| commit | 21e14aed841e109b31a9f27c0e78751e450364f2 (patch) | |
| tree | bf8c639da5f7ade1eafc9f4b7af555c2efcfaaa2 /doc/_static | |
| parent | 172b3f475e2d91d3a11dc42f630f238ec52712f9 (diff) | |
| download | krb5-21e14aed841e109b31a9f27c0e78751e450364f2.tar.gz krb5-21e14aed841e109b31a9f27c0e78751e450364f2.tar.xz krb5-21e14aed841e109b31a9f27c0e78751e450364f2.zip | |
Fix h1 end tag in Sphinx header titles
A </h1> end tag was incorrectly written as <h1>. Also adjust style
settings so that the resulting computed style remains the same for
div.rel.
ticket: 7557 (new)
target_version: 1.11.1
tags: pullup
Diffstat (limited to 'doc/_static')
| -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 1eeebb71d..4d7992914 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 { |