aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNuno Alexandre <nuno@channable.com>2018-02-04 13:11:48 +0100
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commit14a659a0a19b490b13e1a7706f5f24c022ce873b (patch)
treed4bf6cfd5a46a95d7e1529c957300a3c6f888578
parent1861ff90dbe652c22f0dcd220d2f15dd6cfdfefb (diff)
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.
-rw-r--r--html-test/ref/A.html8
-rw-r--r--html-test/ref/B.html8
-rw-r--r--html-test/ref/Bold.html6
-rw-r--r--html-test/ref/Bug1.html6
-rw-r--r--html-test/ref/Bug195.html6
-rw-r--r--html-test/ref/Bug2.html6
-rw-r--r--html-test/ref/Bug201.html6
-rw-r--r--html-test/ref/Bug253.html6
-rw-r--r--html-test/ref/Bug26.html6
-rw-r--r--html-test/ref/Bug280.html6
-rw-r--r--html-test/ref/Bug294.html6
-rw-r--r--html-test/ref/Bug298.html6
-rw-r--r--html-test/ref/Bug3.html6
-rw-r--r--html-test/ref/Bug308.html6
-rw-r--r--html-test/ref/Bug308CrossModule.html6
-rw-r--r--html-test/ref/Bug310.html6
-rw-r--r--html-test/ref/Bug313.html6
-rw-r--r--html-test/ref/Bug335.html6
-rw-r--r--html-test/ref/Bug387.html6
-rw-r--r--html-test/ref/Bug4.html6
-rw-r--r--html-test/ref/Bug546.html6
-rw-r--r--html-test/ref/Bug548.html6
-rw-r--r--html-test/ref/Bug6.html6
-rw-r--r--html-test/ref/Bug613.html6
-rw-r--r--html-test/ref/Bug647.html6
-rw-r--r--html-test/ref/Bug679.html7
-rw-r--r--html-test/ref/Bug7.html6
-rw-r--r--html-test/ref/Bug8.html6
-rw-r--r--html-test/ref/Bug85.html6
-rw-r--r--html-test/ref/BugDeprecated.html6
-rw-r--r--html-test/ref/BugExportHeadings.html6
-rw-r--r--html-test/ref/Bugs.html6
-rw-r--r--html-test/ref/BundledPatterns.html6
-rw-r--r--html-test/ref/BundledPatterns2.html6
-rw-r--r--html-test/ref/ConstructorPatternExport.html6
-rw-r--r--html-test/ref/CrossPackageDocs.html4
-rw-r--r--html-test/ref/DeprecatedClass.html6
-rw-r--r--html-test/ref/DeprecatedData.html6
-rw-r--r--html-test/ref/DeprecatedFunction.html6
-rw-r--r--html-test/ref/DeprecatedFunction2.html6
-rw-r--r--html-test/ref/DeprecatedFunction3.html6
-rw-r--r--html-test/ref/DeprecatedModule.html6
-rw-r--r--html-test/ref/DeprecatedModule2.html6
-rw-r--r--html-test/ref/DeprecatedNewtype.html6
-rw-r--r--html-test/ref/DeprecatedReExport.html6
-rw-r--r--html-test/ref/DeprecatedRecord.html6
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html6
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html6
-rw-r--r--html-test/ref/DuplicateRecordFields.html6
-rw-r--r--html-test/ref/Examples.html6
-rw-r--r--html-test/ref/Extensions.html6
-rw-r--r--html-test/ref/FunArgs.html6
-rw-r--r--html-test/ref/GADTRecords.html6
-rw-r--r--html-test/ref/Hash.html6
-rw-r--r--html-test/ref/HiddenInstances.html6
-rw-r--r--html-test/ref/HiddenInstancesB.html6
-rw-r--r--html-test/ref/Hyperlinks.html6
-rw-r--r--html-test/ref/IgnoreExports.html6
-rw-r--r--html-test/ref/ImplicitParams.html6
-rw-r--r--html-test/ref/Instances.html6
-rw-r--r--html-test/ref/Math.html6
-rw-r--r--html-test/ref/Minimal.html6
-rw-r--r--html-test/ref/ModuleWithWarning.html6
-rw-r--r--html-test/ref/NamedDoc.html6
-rw-r--r--html-test/ref/Nesting.html6
-rw-r--r--html-test/ref/NoLayout.html6
-rw-r--r--html-test/ref/NonGreedy.html6
-rw-r--r--html-test/ref/Operators.html6
-rw-r--r--html-test/ref/OrphanInstances.html6
-rw-r--r--html-test/ref/OrphanInstancesClass.html6
-rw-r--r--html-test/ref/OrphanInstancesType.html6
-rw-r--r--html-test/ref/PR643.html6
-rw-r--r--html-test/ref/PR643_1.html6
-rw-r--r--html-test/ref/PatternSyns.html6
-rw-r--r--html-test/ref/PromotedTypes.html6
-rw-r--r--html-test/ref/Properties.html6
-rw-r--r--html-test/ref/PruneWithWarning.html6
-rw-r--r--html-test/ref/QuasiExpr.html6
-rw-r--r--html-test/ref/QuasiQuote.html6
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html6
-rw-r--r--html-test/ref/TH.html6
-rw-r--r--html-test/ref/TH2.html6
-rw-r--r--html-test/ref/Table.html6
-rw-r--r--html-test/ref/Test.html6
-rw-r--r--html-test/ref/Threaded.html6
-rw-r--r--html-test/ref/Threaded_TH.html6
-rw-r--r--html-test/ref/Ticket112.html6
-rw-r--r--html-test/ref/Ticket61.html6
-rw-r--r--html-test/ref/Ticket75.html6
-rw-r--r--html-test/ref/TitledPicture.html6
-rw-r--r--html-test/ref/TypeFamilies.html6
-rw-r--r--html-test/ref/TypeFamilies2.html6
-rw-r--r--html-test/ref/TypeOperators.html6
-rw-r--r--html-test/ref/Unicode.html6
-rw-r--r--html-test/ref/Visible.html6
95 files changed, 287 insertions, 286 deletions
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
@@ -5,6 +5,7 @@
>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
><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
@@ -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"