diff options
Diffstat (limited to 'html-test/ref')
103 files changed, 1045 insertions, 743 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 75fbb9ed..567e23f2 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >A</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -183,4 +185,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 12d8e907..4c1506a3 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -1,10 +1,12 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >B</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 +14,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -22,8 +26,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -169,4 +171,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 f2adb7bf..67db2642 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bold</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -95,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 0107cd7e..56f70d1f 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug1</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -98,4 +100,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index 68b37fb2..fc86fa34 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug195</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -179,4 +181,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 73cbbc20..0ae3fa50 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -59,4 +61,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 2c127383..c7a72711 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug201</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -100,4 +102,4 @@ because there's a space before closing @ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 04b442bc..a1c0f905 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug253</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -95,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index d77e952a..d2b31f12 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug26</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -149,9 +151,11 @@ ></div ></div ><div class="subs instances" - ><details id="i:C" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:C" + >Instances</h4 + ><details id="i:C" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 3229380a..76ff4bf1 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug280</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -75,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 2b432004..9e5794fc 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug294</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -53,9 +55,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:A" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:A" + >Instances</h4 + ><details id="i:A" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -191,9 +195,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:TP" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TP" + >Instances</h4 + ><details id="i:TP" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -251,9 +257,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:DP" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:DP" + >Instances</h4 + ><details id="i:DP" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -311,9 +319,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:TO-39-" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TO-39-" + >Instances</h4 + ><details id="i:TO-39-" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 575a2dd7..79271c3c 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug298</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -137,4 +139,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index c064a18f..54f99469 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug3</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -78,4 +80,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 1fb8ad4a..366950a3 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug308</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -109,4 +111,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index ea1cd0fb..c7cabc23 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug308CrossModule</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -87,4 +89,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 17667054..7e958f2d 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug310</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 b7ac001c..10ff8f30 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug313</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -130,4 +132,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 8a582373..ede41836 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug335</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -127,4 +129,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 2691b416..ec9bbe8f 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug387</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -41,18 +43,20 @@ >Bug387</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >Section1</a - ></li + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul ><li - ><a href="#" - >Section2</a - ></li - ></ul + ><a href="#" + >Section1</a + ></li + ><li + ><a href="#" + >Section2</a + ></li + ></ul + ></div ></div ><div id="synopsis" ><details id="syn" diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 61aa8da9..45a52f8d 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug4</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index fd46a9ca..4c655e8d 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug458</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -79,4 +81,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index 40affb34..7ae15ba8 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug546</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -272,4 +274,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index f527bb75..d7e120c9 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug548</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -91,9 +93,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:WrappedArrow" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:WrappedArrow" + >Instances</h4 + ><details id="i:WrappedArrow" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index 875cf094..592dd735 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug574</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 d9b59297..97fb0c02 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug6</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -331,4 +333,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index a6b01621..8fb07e6d 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug613</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -95,9 +97,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Functor" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Functor" + >Instances</h4 + ><details id="i:Functor" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -215,9 +219,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:ThreeVars" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:ThreeVars" + >Instances</h4 + ><details id="i:ThreeVars" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 16b2a191..56197b09 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug647</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -101,4 +103,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index de559436..fe838b6a 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug679</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -67,9 +69,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -139,9 +143,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 87b490ca..52d2d195 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug7</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -102,9 +104,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -156,9 +160,11 @@ >The Bar class</p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 481e7c6a..170e0d9f 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug8</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -145,4 +147,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index ed2dd098..57eaeb36 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug85</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -133,4 +135,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug953.html b/html-test/ref/Bug953.html index 6d5665c0..21976848 100644 --- a/html-test/ref/Bug953.html +++ b/html-test/ref/Bug953.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug953</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -145,4 +147,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index fe5cd6a3..0a3133e4 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BugDeprecated</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -191,4 +193,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 18f20ae5..2e22cad1 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BugExportHeadings</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -41,34 +43,36 @@ >BugExportHeadings</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >Foo</a - ></li - ><li - ><a href="#" - >Bar</a - ></li - ><li - ><a href="#" - >Baz</a - ></li - ><li - ><a href="#" - >One</a - ></li + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul ><li - ><a href="#" - >Two</a - ></li - ><li - ><a href="#" - >Three</a - ></li - ></ul + ><a href="#" + >Foo</a + ></li + ><li + ><a href="#" + >Bar</a + ></li + ><li + ><a href="#" + >Baz</a + ></li + ><li + ><a href="#" + >One</a + ></li + ><li + ><a href="#" + >Two</a + ></li + ><li + ><a href="#" + >Three</a + ></li + ></ul + ></div ></div ><div id="synopsis" ><details id="syn" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index ebc37a91..ab658165 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bugs</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -75,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 0fc95001..2840b3c7 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BundledPatterns</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -455,4 +457,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 973d862e..a0bac80b 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BundledPatterns2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -453,4 +455,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html index 371f7e00..cb677240 100644 --- a/html-test/ref/ConstructorArgs.html +++ b/html-test/ref/ConstructorArgs.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ConstructorArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 b4bee68c..d4784164 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ConstructorPatternExport</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -115,4 +117,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html index 39d216e0..5dd20c52 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" + ><span class="caption empty" + > </span ><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 04086251..f9321c87 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedClass</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -157,4 +159,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 23ed7a05..c8a9c3c9 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedData</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -187,4 +189,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index eddfa959..787bdc15 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -105,4 +107,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index bbcc8186..d1682d4e 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -79,4 +81,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index f082f31d..4b946c65 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction3</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -79,4 +81,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 65a806ff..f993d49a 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedModule</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -75,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index e9ea3743..886eb45a 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedModule2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -69,4 +71,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 5641bc85..6a1e4339 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedNewtype</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -153,4 +155,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 039a5a98..e1d226c0 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedReExport</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -41,18 +43,20 @@ >DeprecatedReExport</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >Re-exported from an other module</a - ></li + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul ><li - ><a href="#" - >Re-exported from an other package</a - ></li - ></ul + ><a href="#" + >Re-exported from an other module</a + ></li + ><li + ><a href="#" + >Re-exported from an other package</a + ></li + ></ul + ></div ></div ><div id="description" ><p class="caption" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 1c22e137..54b087dc 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedRecord</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -145,4 +147,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 3e215e90..90f9e64b 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedTypeFamily</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -103,4 +105,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index ac52217e..6ee1a4e2 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedTypeSynonym</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -111,4 +113,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index 824c2c8e..be7c23fa 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DuplicateRecordFields</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -155,4 +157,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index f72b0857..aa975a38 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Examples</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -170,4 +172,4 @@ bar ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 0e3d7fc3..d013fe22 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Extensions</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -85,4 +87,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 62efeae9..c9471477 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >FunArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 939b5cb2..a551f29c 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >GADTRecords</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -223,4 +225,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html index 99b675c5..ded7d58f 100644 --- a/html-test/ref/GadtConstructorArgs.html +++ b/html-test/ref/GadtConstructorArgs.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >GadtConstructorArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 9aa81b5b..b66915c6 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Hash</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -41,30 +43,32 @@ >Hash</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >The <code - >HashTable</code - > type</a - ><ul - ><li - ><a href="#" - >Operations on <code - >HashTable</code - >s</a - ></li - ></ul - ></li + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul ><li - ><a href="#" - >The <code - >Hash</code - > class</a - ></li - ></ul + ><a href="#" + >The <code + >HashTable</code + > type</a + ><ul + ><li + ><a href="#" + >Operations on <code + >HashTable</code + >s</a + ></li + ></ul + ></li + ><li + ><a href="#" + >The <code + >Hash</code + > class</a + ></li + ></ul + ></div ></div ><div id="description" ><p class="caption" @@ -290,9 +294,11 @@ ></div ></div ><div class="subs instances" - ><details id="i:Hash" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Hash" + >Instances</h4 + ><details id="i:Hash" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index addaf91f..be09cd3c 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >HiddenInstances</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,9 +79,11 @@ >Should be visible</p ></div ><div class="subs instances" - ><details id="i:VisibleClass" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleClass" + >Instances</h4 + ><details id="i:VisibleClass" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -159,9 +163,11 @@ >Should be visible</p ></div ><div class="subs instances" - ><details id="i:VisibleData" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleData" + >Instances</h4 + ><details id="i:VisibleData" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index a8828e13..67fc528b 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >HiddenInstancesB</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,9 +79,11 @@ >Should be visible</p ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -129,9 +133,11 @@ >Should be visible</p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 4a0544eb..fde9434d 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Hyperlinks</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -83,4 +85,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index abfc0497..eed12c00 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -1,10 +1,12 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >IgnoreExports</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 +14,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -22,8 +26,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -95,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index e98a8561..b331fda5 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ImplicitParams</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -111,4 +113,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index d7cf3102..c1431e9d 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Instances</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -67,9 +69,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:-60--126--126-" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--126--126-" + >Instances</h4 + ><details id="i:-60--126--126-" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -177,9 +181,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -687,9 +693,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1253,9 +1261,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Baz" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz" + >Instances</h4 + ><details id="i:Baz" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1625,9 +1635,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:Quux" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Quux" + >Instances</h4 + ><details id="i:Quux" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1981,9 +1993,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Norf" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Norf" + >Instances</h4 + ><details id="i:Norf" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index bb3fbca0..cd642198 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Math</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -105,4 +107,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index cf1e45f4..73f472ad 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Minimal</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -339,4 +341,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index 572e35fe..1ea464d9 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ModuleWithWarning</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -75,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 47c6f81d..84198ca3 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NamedDoc</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -61,4 +63,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 0bc59ad8..cab1e220 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Nesting</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -355,4 +357,4 @@ with more of the indented list content.</p ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 20fa4ad0..c14d6164 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NoLayout</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -81,4 +83,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 1a3c21ac..40357f0d 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NonGreedy</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 9e8db7d7..8c7746af 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Operators</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -527,4 +529,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index 4176a97b..b9f0b5be 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstances</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -41,14 +43,16 @@ >OrphanInstances</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >Orphan instances</a - ></li - ></ul + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul + ><li + ><a href="#" + >Orphan instances</a + ></li + ></ul + ></div ></div ><div id="interface" ><h1 diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 113e1e68..d4b9d79b 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstancesClass</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -67,9 +69,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:AClass" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AClass" + >Instances</h4 + ><details id="i:AClass" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index 3a771df3..c3cd8cbf 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstancesType</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -69,9 +71,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:AType" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AType" + >Instances</h4 + ><details id="i:AType" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index 1aa44d67..c36ef015 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PR643</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index 7046bc2b..ae905386 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PR643_1</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index b89c5d61..af6d0210 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PatternSyns</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -386,4 +388,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 5f472590..cc65b57e 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PromotedTypes</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -201,4 +203,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index c874339f..8a5d1660 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Properties</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -87,4 +89,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index 09e93fb1..bc8a42d9 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PruneWithWarning</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -62,4 +64,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html index cfd2c9e3..9315b866 100644 --- a/html-test/ref/QuantifiedConstraints.html +++ b/html-test/ref/QuantifiedConstraints.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuantifiedConstraints</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 b5028635..0dcc8f6a 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuasiExpr</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -103,9 +105,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:Expr" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Expr" + >Instances</h4 + ><details id="i:Expr" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -223,9 +227,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:BinOp" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:BinOp" + >Instances</h4 + ><details id="i:BinOp" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index fb3b4d21..2a857433 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuasiQuote</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -59,4 +61,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 3bf7945e..81c80e77 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >SpuriousSuperclassConstraints</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -79,9 +81,11 @@ Fix spurious superclass constraints bug.</pre >#</a ></p ><div class="subs instances" - ><details id="i:SomeType" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:SomeType" + >Instances</h4 + ><details id="i:SomeType" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 98d8934e..051f7253 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TH</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -61,4 +63,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index 5f8ee652..617cd1de 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TH2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -57,4 +59,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html index 75a21629..1b6f55fc 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Table</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 74d83161..c1d63956 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Test</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -71,62 +73,64 @@ >Test</p ></div ><div id="table-of-contents" - ><p class="caption" - >Contents</p - ><ul - ><li - ><a href="#" - >Type declarations</a - ><ul - ><li - ><a href="#" - >Data types</a - ></li - ><li - ><a href="#" - >Records</a - ></li - ></ul - ></li - ><li - ><a href="#" - >Class declarations</a - ></li - ><li - ><a href="#" - >Function types</a - ></li - ><li - ><a href="#" - >Auxiliary stuff</a - ></li - ><li - ><a href="#" - >A hidden module</a - ></li - ><li - ><a href="#" - >A visible module</a - ></li - ><li - ><a href="#" - >Existential / Universal types</a - ></li - ><li - ><a href="#" - >Type signatures with argument docs</a - ></li + ><div id="contents-list" + ><p class="caption" onclick="window.scrollTo(0,0)" + >Contents</p + ><ul ><li - ><a href="#" - >A section</a - ><ul + ><a href="#" + >Type declarations</a + ><ul + ><li + ><a href="#" + >Data types</a + ></li + ><li + ><a href="#" + >Records</a + ></li + ></ul + ></li ><li - ><a href="#" - >A subsection</a - ></li - ></ul - ></li - ></ul + ><a href="#" + >Class declarations</a + ></li + ><li + ><a href="#" + >Function types</a + ></li + ><li + ><a href="#" + >Auxiliary stuff</a + ></li + ><li + ><a href="#" + >A hidden module</a + ></li + ><li + ><a href="#" + >A visible module</a + ></li + ><li + ><a href="#" + >Existential / Universal types</a + ></li + ><li + ><a href="#" + >Type signatures with argument docs</a + ></li + ><li + ><a href="#" + >A section</a + ><ul + ><li + ><a href="#" + >A subsection</a + ></li + ></ul + ></li + ></ul + ></div ></div ><div id="description" ><p class="caption" @@ -1653,9 +1657,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:D" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:D" + >Instances</h4 + ><details id="i:D" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index fb503590..893135e6 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Threaded</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -90,4 +92,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index de2d0b4d..1ddd4bf8 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Threaded_TH</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -95,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index c1196c7f..ba2bbf6a 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket112</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 57d27635..6d88d7ad 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket61</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -75,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 627f8a41..b61d770a 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket75</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -113,4 +115,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index ca157039..4fd7e113 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TitledPicture</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -107,4 +109,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index fdab721b..b501a9a0 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -211,9 +213,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:X" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:X" + >Instances</h4 + ><details id="i:X" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -673,9 +677,11 @@ >Doc for: data Y</p ></div ><div class="subs instances" - ><details id="i:Y" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Y" + >Instances</h4 + ><details id="i:Y" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1053,9 +1059,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:Z" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Z" + >Instances</h4 + ><details id="i:Z" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1145,9 +1153,11 @@ >Doc for: class Test a</p ></div ><div class="subs instances" - ><details id="i:Test" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Test" + >Instances</h4 + ><details id="i:Test" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1227,9 +1237,11 @@ >Doc for: type family Foo a</p ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1333,9 +1345,11 @@ >Doc for: data family Bat a</p ></div ><div class="subs instances" - ><details id="i:Bat" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bat" + >Instances</h4 + ><details id="i:Bat" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1563,9 +1577,11 @@ ></div ></div ><div class="subs instances" - ><details id="i:Assoc" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Assoc" + >Instances</h4 + ><details id="i:Assoc" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1741,9 +1757,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:-60--62-" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--62-" + >Instances</h4 + ><details id="i:-60--62-" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -1889,9 +1907,11 @@ >#</a ></p ><div class="subs instances" - ><details id="i:-62--60-" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-62--60-" + >Instances</h4 + ><details id="i:-62--60-" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index fb37892d..1db8c3ec 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -83,9 +85,11 @@ >Exported type</p ></div ><div class="subs instances" - ><details id="i:W" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:W" + >Instances</h4 + ><details id="i:W" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -187,9 +191,11 @@ >Exported type family</p ></div ><div class="subs instances" - ><details id="i:Foo" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" + >Instances</h4 + ><details id="i:Foo" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -291,9 +297,11 @@ >Exported data family</p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index a55aa36c..22a3f8ff 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies3</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -125,9 +127,11 @@ >An open family</p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -221,9 +225,11 @@ >A data family</p ></div ><div class="subs instances" - ><details id="i:Baz" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz" + >Instances</h4 + ><details id="i:Baz" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index f3d4cd98..fa1550ef 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeOperators</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -185,4 +187,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 6ac71b56..8f7970d0 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Unicode</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -77,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html index 42320e5c..65e49e37 100644 --- a/html-test/ref/Unicode2.html +++ b/html-test/ref/Unicode2.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Unicode2</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,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 32ab3801..a480935c 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -1,9 +1,11 @@ <html xmlns="http://www.w3.org/1999/xhtml" ><head ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Visible</title - ><link href="#" rel="stylesheet" type="text/css" title="Ocean" + ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + /><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 @@ -14,7 +16,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><span class="caption empty" + ></span + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -24,8 +28,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" @@ -61,4 +63,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |