From 14a659a0a19b490b13e1a7706f5f24c022ce873b Mon Sep 17 00:00:00 2001
From: Nuno Alexandre <nuno@channable.com>
Date: Sun, 4 Feb 2018 13:11:48 +0100
Subject: Update html-test reference files

The package name element in the package-header is now a div instead of a
paragraph, and it is now above the menu ul.links instead of below.
---
 html-test/ref/A.html                             | 8 ++++----
 html-test/ref/B.html                             | 8 ++++----
 html-test/ref/Bold.html                          | 6 +++---
 html-test/ref/Bug1.html                          | 6 +++---
 html-test/ref/Bug195.html                        | 6 +++---
 html-test/ref/Bug2.html                          | 6 +++---
 html-test/ref/Bug201.html                        | 6 +++---
 html-test/ref/Bug253.html                        | 6 +++---
 html-test/ref/Bug26.html                         | 6 +++---
 html-test/ref/Bug280.html                        | 6 +++---
 html-test/ref/Bug294.html                        | 6 +++---
 html-test/ref/Bug298.html                        | 6 +++---
 html-test/ref/Bug3.html                          | 6 +++---
 html-test/ref/Bug308.html                        | 6 +++---
 html-test/ref/Bug308CrossModule.html             | 6 +++---
 html-test/ref/Bug310.html                        | 6 +++---
 html-test/ref/Bug313.html                        | 6 +++---
 html-test/ref/Bug335.html                        | 6 +++---
 html-test/ref/Bug387.html                        | 6 +++---
 html-test/ref/Bug4.html                          | 6 +++---
 html-test/ref/Bug546.html                        | 6 +++---
 html-test/ref/Bug548.html                        | 6 +++---
 html-test/ref/Bug6.html                          | 6 +++---
 html-test/ref/Bug613.html                        | 6 +++---
 html-test/ref/Bug647.html                        | 6 +++---
 html-test/ref/Bug679.html                        | 7 ++++---
 html-test/ref/Bug7.html                          | 6 +++---
 html-test/ref/Bug8.html                          | 6 +++---
 html-test/ref/Bug85.html                         | 6 +++---
 html-test/ref/BugDeprecated.html                 | 6 +++---
 html-test/ref/BugExportHeadings.html             | 6 +++---
 html-test/ref/Bugs.html                          | 6 +++---
 html-test/ref/BundledPatterns.html               | 6 +++---
 html-test/ref/BundledPatterns2.html              | 6 +++---
 html-test/ref/ConstructorPatternExport.html      | 6 +++---
 html-test/ref/CrossPackageDocs.html              | 4 ++--
 html-test/ref/DeprecatedClass.html               | 6 +++---
 html-test/ref/DeprecatedData.html                | 6 +++---
 html-test/ref/DeprecatedFunction.html            | 6 +++---
 html-test/ref/DeprecatedFunction2.html           | 6 +++---
 html-test/ref/DeprecatedFunction3.html           | 6 +++---
 html-test/ref/DeprecatedModule.html              | 6 +++---
 html-test/ref/DeprecatedModule2.html             | 6 +++---
 html-test/ref/DeprecatedNewtype.html             | 6 +++---
 html-test/ref/DeprecatedReExport.html            | 6 +++---
 html-test/ref/DeprecatedRecord.html              | 6 +++---
 html-test/ref/DeprecatedTypeFamily.html          | 6 +++---
 html-test/ref/DeprecatedTypeSynonym.html         | 6 +++---
 html-test/ref/DuplicateRecordFields.html         | 6 +++---
 html-test/ref/Examples.html                      | 6 +++---
 html-test/ref/Extensions.html                    | 6 +++---
 html-test/ref/FunArgs.html                       | 6 +++---
 html-test/ref/GADTRecords.html                   | 6 +++---
 html-test/ref/Hash.html                          | 6 +++---
 html-test/ref/HiddenInstances.html               | 6 +++---
 html-test/ref/HiddenInstancesB.html              | 6 +++---
 html-test/ref/Hyperlinks.html                    | 6 +++---
 html-test/ref/IgnoreExports.html                 | 6 +++---
 html-test/ref/ImplicitParams.html                | 6 +++---
 html-test/ref/Instances.html                     | 6 +++---
 html-test/ref/Math.html                          | 6 +++---
 html-test/ref/Minimal.html                       | 6 +++---
 html-test/ref/ModuleWithWarning.html             | 6 +++---
 html-test/ref/NamedDoc.html                      | 6 +++---
 html-test/ref/Nesting.html                       | 6 +++---
 html-test/ref/NoLayout.html                      | 6 +++---
 html-test/ref/NonGreedy.html                     | 6 +++---
 html-test/ref/Operators.html                     | 6 +++---
 html-test/ref/OrphanInstances.html               | 6 +++---
 html-test/ref/OrphanInstancesClass.html          | 6 +++---
 html-test/ref/OrphanInstancesType.html           | 6 +++---
 html-test/ref/PR643.html                         | 6 +++---
 html-test/ref/PR643_1.html                       | 6 +++---
 html-test/ref/PatternSyns.html                   | 6 +++---
 html-test/ref/PromotedTypes.html                 | 6 +++---
 html-test/ref/Properties.html                    | 6 +++---
 html-test/ref/PruneWithWarning.html              | 6 +++---
 html-test/ref/QuasiExpr.html                     | 6 +++---
 html-test/ref/QuasiQuote.html                    | 6 +++---
 html-test/ref/SpuriousSuperclassConstraints.html | 6 +++---
 html-test/ref/TH.html                            | 6 +++---
 html-test/ref/TH2.html                           | 6 +++---
 html-test/ref/Table.html                         | 6 +++---
 html-test/ref/Test.html                          | 6 +++---
 html-test/ref/Threaded.html                      | 6 +++---
 html-test/ref/Threaded_TH.html                   | 6 +++---
 html-test/ref/Ticket112.html                     | 6 +++---
 html-test/ref/Ticket61.html                      | 6 +++---
 html-test/ref/Ticket75.html                      | 6 +++---
 html-test/ref/TitledPicture.html                 | 6 +++---
 html-test/ref/TypeFamilies.html                  | 6 +++---
 html-test/ref/TypeFamilies2.html                 | 6 +++---
 html-test/ref/TypeOperators.html                 | 6 +++---
 html-test/ref/Unicode.html                       | 6 +++---
 html-test/ref/Visible.html                       | 6 +++---
 95 files changed, 287 insertions(+), 286 deletions(-)

(limited to 'html-test/ref')

diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 537a7bac..9e41e154 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
@@ -182,4 +182,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 1d7d436c..9c2a9c83 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
@@ -170,4 +170,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 276e7b23..9c684aa5 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 7c025ddf..d17d3f49 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index dd6fe2d9..3049bf00 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index e08e37ee..8fe2da5d 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index 1db6e428..6db101c3 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 92a467c3..314feb55 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 3593fca3..76645bd2 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index 84c79832..e480a9cb 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 96bf092e..2a1159e4 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index 4c9e108f..598d1943 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 274f663a..bf55cee0 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 055d10ba..168c3935 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index 5e4cfcb4..091e1d74 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 61580eea..d1f65b08 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index 4059fd81..a4bc1d8e 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index 759b4e0f..2971ac05 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index 7af38143..8f2c19f4 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 8ce42486..4208dc2a 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html
index ec37016a..940f51fc 100644
--- a/html-test/ref/Bug546.html
+++ b/html-test/ref/Bug546.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index de6e04ff..f9cb90de 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 22804de0..6cd0af6d 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 605e8291..2be84545 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
index e5a1993e..075f8a21 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index 71eb9360..bc09a82c 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -4,6 +4,7 @@
      /><title
     >Bug679</title
     ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+     /><link rel="stylesheet" type="text/css" href="#"
      /><link rel="stylesheet" type="text/css" href="#"
      /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
     ></script
@@ -12,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -22,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 0b02d297..5c86f6dc 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 52aee3a0..d2b837ab 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index c8e033bf..69296f1f 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 6e187686..21440de5 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 878a767b..a66adf0d 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index 78d2877e..a81a89d6 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index e8030b3c..975b430d 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index 2ed734fb..f5eaa212 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
index 28845977..11098100 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html
index 39d216e0..04f443f0 100644
--- a/html-test/ref/CrossPackageDocs.html
+++ b/html-test/ref/CrossPackageDocs.html
@@ -15,6 +15,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
     ></head
   ><body
   ><div id="package-header"
+    ><div class="caption empty"
+    >&nbsp;</div
     ><ul class="links" id="page-menu"
       ><li
 	><a href=""
@@ -25,8 +27,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      >&nbsp;</p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index eb9acd6e..0b7037a2 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index a9bd0f1e..5dc3fda3 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index ab45a654..2591f124 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index a425627a..d52af866 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index b6186f45..abc92a8b 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 925a211e..e9b2e25f 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index 3c26b5e1..b70b6b97 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 677cd914..1b51ceba 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 040c00c8..732a8dfa 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 0c35a240..5681e5b6 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index 2754be0c..ba61ea0b 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 2c612502..98bca5be 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
index 2aa91466..3f151391 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index 5cd3f4c4..04a855f8 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index f08d631e..44fa5573 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 1fcbabff..04dfb907 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 4496ef12..23686adf 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 37777a4c..fd8b5114 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 96e39228..4f80c418 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 803d8724..4039a979 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index ed3a66eb..12f3ce3d 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index b5bc1d98..3c02b5f5 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 64c9e434..8e398452 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 0442a9d5..3af35c04 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index ea602266..c4941c60 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index 547ac3e1..065414c4 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index f714eed0..f266234b 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index 5e9ff324..285d0a9a 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index db26aaa4..8d7381b7 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index b2e95565..57b3f71c 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index 50de62cd..282c0ddd 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 96e24086..b863a140 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index cb5edd6a..ac8cb0d5 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 3853f22e..70525ae1 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index df559a8a..18187600 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
index b8daa6e5..6fba5964 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html
index 421a6f6f..1bfadae1 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 4ec39b17..b106e4f0 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 41672e3b..1bf25665 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 7469d488..23c9f3b6 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 66747ade..7f736dea 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 3e79d16b..7da60603 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index 5afb8db4..f7da2850 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 747811ea..67ece044 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 9fb5eee2..3c2f36c3 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index 0f6a5e7d..ebe9a7e7 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html
index 352277ca..98b83d94 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 5fbb8f19..ef09f281 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 135831af..b35c800c 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index cbfdc984..9bb68128 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 95792976..72a00667 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index 06d94941..9fdb81c1 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index a1a25faf..5b82e8d9 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 86e6e39f..e5da2a60 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 8f1aba2e..b51f85a1 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index acddceb6..3241fab4 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index c8c0f90e..7d74e528 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index ce3cf7e3..890c401f 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index daddc6d4..1bafae3f 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -13,7 +13,9 @@
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><div class="caption empty"
+      ></div
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -23,8 +25,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
-- 
cgit v1.2.3