diff options
Diffstat (limited to 'html-test/ref')
105 files changed, 1530 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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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" + > </span ><ul class="links" id="page-menu" ><li ><a href="" @@ -25,8 +27,6 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html" >Index</a ></li ></ul - ><p class="caption empty" - > </p ></div ><div id="content" ><div id="module-header" diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index 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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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: "mathjax", ignoreClass: ".*" } });</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 +> |