krb5 commit: Fix h1 end tag in Sphinx header titles

[Tom Yu]

https://github.com/krb5/krb5/commit/21e14aed841e109b31a9f27c0e78751e450364f2
commit 21e14aed841e109b31a9f27c0e78751e450364f2
Author: Tom Yu <tlyu at mit.edu>
Date:   Thu Jan 17 17:56:53 2013 -0500

    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

 doc/_static/kerb.css       |    6 ++++++
 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 1eeebb7..4d79929 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 4ec97c2..28527ac 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 }}"