Exclude document title from table of contents

b1ea8107 · Evgenij Ryazanov · f27f798d · b1ea8107 · b1ea8107
--- a/h2/src/docsrc/html/stylesheetPdf.css
+++ b/h2/src/docsrc/html/stylesheetPdf.css
@@ -32,11 +32,12 @@ body {
    margin: 0px;
 }

-h1 {
+h1, p.title {
    background-color: #0000bb;
    padding: 2px 4px 2px 4px;
    color: #fff;
    font-size: 24pt;
+    font-weight: bold;
    line-height: normal;
 }


--- a/h2/src/tools/org/h2/build/doc/MergeDocs.java
+++ b/h2/src/tools/org/h2/build/doc/MergeDocs.java
@@ -51,7 +51,7 @@ public class MergeDocs {
        writer.println("H2 Documentation");
        writer.println("</title><link rel=\"stylesheet\" type=\"text/css\" " +
                "href=\"stylesheetPdf.css\" /></head><body>");
-        writer.println("<h1>H2 Database Engine</h1>");
+        writer.println("<p class=\"title\">H2 Database Engine</p>");
        writer.println("<p>Version " + Constants.getFullVersion() + "</p>");
        writer.println(finalText);
        writer.println("</body></html>");