diff options
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" + > </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 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" |