aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-10 16:02:13 -0800
committerAlec Theriault <alec.theriault@gmail.com>2018-11-10 16:02:13 -0800
commit959033d592b41235896402a64703650df77c34bd (patch)
tree352d1c64c354017adc5b7c3c6aa7aa7fd95e1bf6 /html-test
parentb62c9542480d629bb482f5394dec2fdd5a48af24 (diff)
parentf4d53a159642aa9182241259709659e7074425d5 (diff)
Merge branch 'ghc-8.6' into ghc-head
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/A.html16
-rw-r--r--html-test/ref/B.html10
-rw-r--r--html-test/ref/Bold.html16
-rw-r--r--html-test/ref/Bug1.html16
-rw-r--r--html-test/ref/Bug195.html16
-rw-r--r--html-test/ref/Bug2.html16
-rw-r--r--html-test/ref/Bug201.html16
-rw-r--r--html-test/ref/Bug253.html16
-rw-r--r--html-test/ref/Bug26.html22
-rw-r--r--html-test/ref/Bug280.html16
-rw-r--r--html-test/ref/Bug294.html46
-rw-r--r--html-test/ref/Bug298.html16
-rw-r--r--html-test/ref/Bug3.html16
-rw-r--r--html-test/ref/Bug308.html16
-rw-r--r--html-test/ref/Bug308CrossModule.html16
-rw-r--r--html-test/ref/Bug310.html14
-rw-r--r--html-test/ref/Bug313.html16
-rw-r--r--html-test/ref/Bug335.html16
-rw-r--r--html-test/ref/Bug387.html38
-rw-r--r--html-test/ref/Bug4.html16
-rw-r--r--html-test/ref/Bug458.html16
-rw-r--r--html-test/ref/Bug546.html16
-rw-r--r--html-test/ref/Bug548.html22
-rw-r--r--html-test/ref/Bug574.html14
-rw-r--r--html-test/ref/Bug6.html16
-rw-r--r--html-test/ref/Bug613.html30
-rw-r--r--html-test/ref/Bug647.html16
-rw-r--r--html-test/ref/Bug679.html30
-rw-r--r--html-test/ref/Bug7.html30
-rw-r--r--html-test/ref/Bug8.html16
-rw-r--r--html-test/ref/Bug85.html16
-rw-r--r--html-test/ref/Bug865.html14
-rw-r--r--html-test/ref/Bug953.html150
-rw-r--r--html-test/ref/BugDeprecated.html16
-rw-r--r--html-test/ref/BugExportHeadings.html70
-rw-r--r--html-test/ref/Bugs.html16
-rw-r--r--html-test/ref/BundledPatterns.html16
-rw-r--r--html-test/ref/BundledPatterns2.html16
-rw-r--r--html-test/ref/ConstructorArgs.html14
-rw-r--r--html-test/ref/ConstructorPatternExport.html16
-rw-r--r--html-test/ref/CrossPackageDocs.html4
-rw-r--r--html-test/ref/DeprecatedClass.html16
-rw-r--r--html-test/ref/DeprecatedData.html16
-rw-r--r--html-test/ref/DeprecatedFunction.html16
-rw-r--r--html-test/ref/DeprecatedFunction2.html16
-rw-r--r--html-test/ref/DeprecatedFunction3.html16
-rw-r--r--html-test/ref/DeprecatedModule.html16
-rw-r--r--html-test/ref/DeprecatedModule2.html16
-rw-r--r--html-test/ref/DeprecatedNewtype.html16
-rw-r--r--html-test/ref/DeprecatedReExport.html38
-rw-r--r--html-test/ref/DeprecatedRecord.html16
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html16
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html16
-rw-r--r--html-test/ref/DuplicateRecordFields.html16
-rw-r--r--html-test/ref/Examples.html16
-rw-r--r--html-test/ref/Extensions.html16
-rw-r--r--html-test/ref/FunArgs.html14
-rw-r--r--html-test/ref/GADTRecords.html16
-rw-r--r--html-test/ref/GadtConstructorArgs.html14
-rw-r--r--html-test/ref/Hash.html70
-rw-r--r--html-test/ref/HiddenInstances.html30
-rw-r--r--html-test/ref/HiddenInstancesB.html30
-rw-r--r--html-test/ref/Hyperlinks.html16
-rw-r--r--html-test/ref/IgnoreExports.html10
-rw-r--r--html-test/ref/ImplicitParams.html16
-rw-r--r--html-test/ref/Instances.html62
-rw-r--r--html-test/ref/Math.html34
-rw-r--r--html-test/ref/Minimal.html16
-rw-r--r--html-test/ref/ModuleWithWarning.html16
-rw-r--r--html-test/ref/NamedDoc.html16
-rw-r--r--html-test/ref/Nesting.html16
-rw-r--r--html-test/ref/NoLayout.html16
-rw-r--r--html-test/ref/NonGreedy.html16
-rw-r--r--html-test/ref/Operators.html16
-rw-r--r--html-test/ref/OrphanInstances.html32
-rw-r--r--html-test/ref/OrphanInstancesClass.html22
-rw-r--r--html-test/ref/OrphanInstancesType.html22
-rw-r--r--html-test/ref/PR643.html16
-rw-r--r--html-test/ref/PR643_1.html16
-rw-r--r--html-test/ref/PatternSyns.html16
-rw-r--r--html-test/ref/PromotedTypes.html16
-rw-r--r--html-test/ref/Properties.html16
-rw-r--r--html-test/ref/PruneWithWarning.html16
-rw-r--r--html-test/ref/QuantifiedConstraints.html14
-rw-r--r--html-test/ref/QuasiExpr.html30
-rw-r--r--html-test/ref/QuasiQuote.html16
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html22
-rw-r--r--html-test/ref/TH.html16
-rw-r--r--html-test/ref/TH2.html16
-rw-r--r--html-test/ref/Table.html20
-rw-r--r--html-test/ref/Test.html132
-rw-r--r--html-test/ref/Threaded.html16
-rw-r--r--html-test/ref/Threaded_TH.html16
-rw-r--r--html-test/ref/Ticket112.html16
-rw-r--r--html-test/ref/Ticket61.html16
-rw-r--r--html-test/ref/Ticket75.html16
-rw-r--r--html-test/ref/TitledPicture.html16
-rw-r--r--html-test/ref/TypeFamilies.html86
-rw-r--r--html-test/ref/TypeFamilies2.html38
-rw-r--r--html-test/ref/TypeFamilies3.html30
-rw-r--r--html-test/ref/TypeOperators.html16
-rw-r--r--html-test/ref/UnboxedStuff.html32
-rw-r--r--html-test/ref/Unicode.html16
-rw-r--r--html-test/ref/Unicode2.html14
-rw-r--r--html-test/ref/Visible.html16
-rw-r--r--html-test/src/Bug953.hs17
106 files changed, 1547 insertions, 862 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index e4802966..567e23f2 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -181,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 112d7aca..67db2642 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -93,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 d5f9052e..56f70d1f 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -96,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 17e2e074..fc86fa34 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -177,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 d2d0efd9..0ae3fa50 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -57,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 288a9499..c7a72711 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -98,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 57b1b164..a1c0f905 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -93,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 a363fef3..d2b31f12 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -147,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 d37fc11f..76ff4bf1 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -73,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 790c1894..9e5794fc 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -51,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"
@@ -189,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"
@@ -249,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"
@@ -309,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 94cb1533..79271c3c 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -135,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 3c4b905c..54f99469 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -76,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 b2d88452..366950a3 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -107,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 acd10424..c7cabc23 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -85,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 8fef21a6..7e958f2d 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 17a39600..10ff8f30 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -128,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 f2185045..ede41836 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -125,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 ba2f5c91..ec9bbe8f 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,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 6afd37fe..45a52f8d 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 f716d7d6..4c655e8d 100644
--- a/html-test/ref/Bug458.html
+++ b/html-test/ref/Bug458.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -77,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 221f7b6c..7ae15ba8 100644
--- a/html-test/ref/Bug546.html
+++ b/html-test/ref/Bug546.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -270,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 b690b8ad..d7e120c9 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -89,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 ed0a5e15..592dd735 100644
--- a/html-test/ref/Bug574.html
+++ b/html-test/ref/Bug574.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 15842547..97fb0c02 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -329,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 71e30832..8fb07e6d 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -93,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"
@@ -213,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 0928c1ec..56197b09 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -99,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 71eb9360..fe838b6a 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -65,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"
@@ -137,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 26a8e7a3..52d2d195 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -100,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"
@@ -154,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 9de7cca6..170e0d9f 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -143,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 bf7e1465..57eaeb36 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -131,4 +135,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug865.html b/html-test/ref/Bug865.html
index 6630a88d..c86d8ca3 100644
--- a/html-test/ref/Bug865.html
+++ b/html-test/ref/Bug865.html
@@ -1,18 +1,24 @@
<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
>Bug865</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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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/Bug953.html b/html-test/ref/Bug953.html
new file mode 100644
index 00000000..21976848
--- /dev/null
+++ b/html-test/ref/Bug953.html
@@ -0,0 +1,150 @@
+<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="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
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><span class="caption empty"
+ ></span
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >Bug953</p
+ ></div
+ ><div id="synopsis"
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Foo</a
+ > = <a href="#"
+ >Foo'</a
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Bar</a
+ > = <a href="#"
+ >Bar'</a
+ ></li
+ ></ul
+ ></details
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Foo" class="def"
+ >Foo</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >A foo</p
+ ><h4 class="caption details-toggle-control details-toggle" data-details-id="ch:Foo0"
+ >Examples</h4
+ ><details id="ch:Foo0"
+ ><summary class="hide-when-js-enabled"
+ >Expand</summary
+ ><p
+ >Foo example body</p
+ ></details
+ ></div
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:Foo-39-" class="def"
+ >Foo'</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Bar" class="def"
+ >Bar</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >A bar</p
+ ><h4 class="caption details-toggle-control details-toggle" data-details-id="ch:Bar0"
+ >Examples</h4
+ ><details id="ch:Bar0"
+ ><summary class="hide-when-js-enabled"
+ >Expand</summary
+ ><p
+ >Bar example body</p
+ ></details
+ ></div
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:Bar-39-" class="def"
+ >Bar'</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+>
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 4efe3da2..0a3133e4 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -189,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 78af3351..2e22cad1 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,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 abe20dc2..ab658165 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -73,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 e9c77612..2840b3c7 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -453,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 2f456728..a0bac80b 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -451,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 9aad9c86..cb677240 100644
--- a/html-test/ref/ConstructorArgs.html
+++ b/html-test/ref/ConstructorArgs.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 6f091de7..d4784164 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -113,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"
+ >&nbsp;</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"
- >&nbsp;</p
></div
><div id="content"
><div id="module-header"
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 55abc489..f9321c87 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -155,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 2caed880..c8a9c3c9 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -185,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 b43526ba..787bdc15 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -103,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 db0098b2..d1682d4e 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -77,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 950c5203..4b946c65 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -77,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 91150577..f993d49a 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -73,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 6688781f..886eb45a 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -67,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 8158f61d..6a1e4339 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -151,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 f2bbb766..e1d226c0 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,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 c2de1538..54b087dc 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -143,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 dab7683d..90f9e64b 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -101,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 fcb7f5ce..6ee1a4e2 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -109,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 47b14a41..be7c23fa 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -153,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 77a341f0..aa975a38 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -168,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 ee84df30..d013fe22 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -83,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 97c9a3c5..c9471477 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 5f6141db..a551f29c 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -221,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 7497de83..ded7d58f 100644
--- a/html-test/ref/GadtConstructorArgs.html
+++ b/html-test/ref/GadtConstructorArgs.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 8fd04bb4..b66915c6 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,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"
@@ -288,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 9594d8e1..be09cd3c 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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"
@@ -157,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 5b69947e..67fc528b 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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"
@@ -127,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 f331e741..fde9434d 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -81,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 eb8456ae..b331fda5 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -109,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 a23f9eb9..c1431e9d 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -65,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"
@@ -175,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"
@@ -685,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"
@@ -1251,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"
@@ -1623,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"
@@ -1979,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 71079bdd..cd642198 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -47,11 +51,15 @@
>normalDensity</code
></p
><p
- >\[
+ ><span class="mathjax"
+ >\[
\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}
- \]</p
+ \]</span
+ ></p
><p
- >\(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)</p
+ ><span class="mathjax"
+ >\(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)</span
+ ></p
></div
></div
><div id="synopsis"
@@ -85,8 +93,12 @@
>Math (inline) for <code
>normalDensity</code
>
- \(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)
- \[\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\]</p
+ <span class="mathjax"
+ >\(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)</span
+ >
+ <span class="mathjax"
+ >\[\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\]</span
+ ></p
></div
></div
></div
@@ -95,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 bc2da115..73f472ad 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -337,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 7a045575..1ea464d9 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -73,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 ece4f381..84198ca3 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -59,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 76993674..cab1e220 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -353,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 a92d1a34..c14d6164 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -79,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 cc03a20b..40357f0d 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 d01038a3..8c7746af 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -525,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 16ac16d6..b9f0b5be 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,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 81651e18..d4b9d79b 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -65,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 ddb85534..c3cd8cbf 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -67,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 6fe27318..c36ef015 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 ecba8866..ae905386 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 19c1fecf..af6d0210 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -384,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 712dde5c..cc65b57e 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -199,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 daabe6c4..8a5d1660 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -85,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 4286831c..bc8a42d9 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -60,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 fa2c18ec..9315b866 100644
--- a/html-test/ref/QuantifiedConstraints.html
+++ b/html-test/ref/QuantifiedConstraints.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 dfded323..0dcc8f6a 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -101,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"
@@ -221,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 c73250b8..2a857433 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -57,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 47dfd6cd..81c80e77 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -77,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 a35204ff..051f7253 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -59,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 b0d5dc64..617cd1de 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -55,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 deaf6b1c..1b6f55fc 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -217,9 +221,11 @@
span rows.
</td
><td colspan="2" rowspan="2"
- > \[
+ > <span class="mathjax"
+ >\[
f(n) = \sum_{i=1}
- \] </td
+ \]</span
+ > </td
></tr
><tr
><td
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index ce180a19..c1d63956 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -69,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"
@@ -1651,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 e52ca96b..893135e6 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -88,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 14ebe8a9..1ddd4bf8 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -93,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 00258deb..ba2bbf6a 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 9cab5271..6d88d7ad 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -73,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 70919c1b..b61d770a 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -111,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 eb6c12f4..4fd7e113 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -105,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 9a4945dd..b501a9a0 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -209,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"
@@ -671,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"
@@ -1051,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"
@@ -1143,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"
@@ -1225,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"
@@ -1331,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"
@@ -1561,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"
@@ -1739,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"
@@ -1887,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 1b4eed8c..1db8c3ec 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -81,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"
@@ -185,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"
@@ -289,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 2dadf435..22a3f8ff 100644
--- a/html-test/ref/TypeFamilies3.html
+++ b/html-test/ref/TypeFamilies3.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -123,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"
@@ -219,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 76a5b280..fa1550ef 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -183,4 +187,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/UnboxedStuff.html b/html-test/ref/UnboxedStuff.html
index 4c1196b9..133aae6c 100644
--- a/html-test/ref/UnboxedStuff.html
+++ b/html-test/ref/UnboxedStuff.html
@@ -1,18 +1,24 @@
<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
>UnboxedStuff</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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,14 +43,16 @@
>UnboxedStuff</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Unboxed type constructors</a
- ></li
- ></ul
+ ><div id="contents-list"
+ ><p class="caption" onclick="window.scrollTo(0,0)"
+ >Contents</p
+ ><ul
+ ><li
+ ><a href="#"
+ >Unboxed type constructors</a
+ ></li
+ ></ul
+ ></div
></div
><div id="synopsis"
><details id="syn"
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 26d0d60e..8f7970d0 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -75,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 bf667bae..65e49e37 100644
--- a/html-test/ref/Unicode2.html
+++ b/html-test/ref/Unicode2.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +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 308689e4..a480935c 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -1,18 +1,24 @@
<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
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></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 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -59,4 +63,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/src/Bug953.hs b/html-test/src/Bug953.hs
new file mode 100644
index 00000000..63f2c45a
--- /dev/null
+++ b/html-test/src/Bug953.hs
@@ -0,0 +1,17 @@
+module Bug953 where
+
+{- | A foo
+
+==== __Examples__
+
+Foo example body
+-}
+data Foo = Foo'
+
+{- | A bar
+
+==== __Examples__
+
+Bar example body
+-}
+data Bar = Bar'