From 2cbdb80d8e22a5fa41f57bec340eabf66e03c708 Mon Sep 17 00:00:00 2001
From: Nuno Alexandre <nuno@channable.com>
Date: Sun, 4 Feb 2018 13:11:48 +0100
Subject: [PATCH] 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(-)
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 537a7bacb7..9e41e1549b 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 1d7d436c30..9c2a9c8304 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 276e7b23fb..9c684aa523 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 7c025ddf3a..d17d3f49cb 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 dd6fe2d915..3049bf00b1 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 e08e37eea9..8fe2da5d35 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 1db6e428c5..6db101c3c8 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 92a467c3de..314feb5562 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 3593fca3c5..76645bd2ad 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 84c79832d4..e480a9cbae 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 96bf092eb1..2a1159e43c 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 4c9e108f9d..598d1943f2 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 274f663a05..bf55cee025 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 055d10ba4f..168c393552 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 5e4cfcb47e..091e1d7466 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 61580eea49..d1f65b08d1 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 4059fd810a..a4bc1d8e40 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 759b4e0ffe..2971ac059b 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 7af3814371..8f2c19f4d7 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 8ce42486ca..4208dc2aaf 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 ec37016a89..940f51fcad 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 de6e04ff6e..f9cb90dedc 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 22804de08e..6cd0af6d08 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 605e829168..2be845458b 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 e5a1993e75..075f8a21e7 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 71eb93601c..bc09a82c71 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 0b02d297d3..5c86f6dc5c 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 52aee3a0ad..d2b837aba1 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 c8e033bfa2..69296f1f34 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 6e187686d2..21440de50a 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 878a767bcd..a66adf0dcc 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 78d2877e46..a81a89d699 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 e8030b3c56..975b430d16 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 2ed734fbe3..f5eaa212a4 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 2884597774..11098100e5 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 39d216e00d..04f443f007 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"
+ > </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"
- > </p
></div
><div id="content"
><div id="module-header"
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index eb9acd6ef1..0b7037a2b2 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 a9bd0f1ea6..5dc3fda330 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 ab45a6542e..2591f124c7 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 a425627a74..d52af866e3 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 b6186f452c..abc92a8bb6 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 925a211ee8..e9b2e25f6e 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 3c26b5e16d..b70b6b973f 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 677cd91458..1b51cebaf0 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 040c00c84e..732a8dfa3f 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 0c35a240c5..5681e5b696 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 2754be0cae..ba61ea0be6 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 2c6125028d..98bca5bec7 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 2aa91466d0..3f151391a1 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 5cd3f4c4a4..04a855f840 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 f08d631e45..44fa557306 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 1fcbabffe1..04dfb907b5 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 4496ef12fe..23686adf2b 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 37777a4ccf..fd8b5114d4 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 96e39228fa..4f80c418d4 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 803d872438..4039a97910 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 ed3a66eb8e..12f3ce3dae 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 b5bc1d9844..3c02b5f5db 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 64c9e43403..8e3984527d 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 0442a9d54c..3af35c046c 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 ea60226612..c4941c60f2 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 547ac3e15f..065414c4ee 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 f714eed0b9..f266234b5e 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 5e9ff32403..285d0a9aa0 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 db26aaa493..8d7381b7df 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 b2e9556522..57b3f71ca1 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 50de62cdcc..282c0ddd6f 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 96e24086db..b863a14070 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 cb5edd6afe..ac8cb0d582 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 3853f22e0d..70525ae10d 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 df559a8a69..181876008b 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 b8daa6e5ec..6fba5964ae 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 421a6f6f58..1bfadae168 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 4ec39b1775..b106e4f01b 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 41672e3bb9..1bf2566574 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 7469d488b3..23c9f3b6fc 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 66747adee5..7f736dea21 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 3e79d16b00..7da6060338 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 5afb8db4fe..f7da28502b 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 747811ea50..67ece044a4 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 9fb5eee2fb..3c2f36c34e 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 0f6a5e7d27..ebe9a7e7d3 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 352277ca79..98b83d94c9 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 5fbb8f19ce..ef09f281aa 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 135831af9e..b35c800c8a 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 cbfdc984ed..9bb6812886 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 9579297655..72a006670e 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 06d9494157..9fdb81c16a 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 a1a25faf17..5b82e8d917 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 86e6e39f3b..e5da2a60a0 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 8f1aba2ed8..b51f85a113 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 acddceb649..3241fab479 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 c8c0f90e6d..7d74e528fb 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 ce3cf7e30e..890c401f0e 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 daddc6d455..1bafae3f17 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"
--
GitLab