diff options
107 files changed, 179 insertions, 179 deletions
@@ -1,6 +1,6 @@ ## Changes in TBA - * NewOcean is the new default theme (#721, #782, #949) + * "Linuwial" is the new default theme (#721, #782, #949) * Fix style switcher (enabled by `--built-in-themes`) (#949) diff --git a/doc/invoking.rst b/doc/invoking.rst index 3e6e667a..ebf9792f 100644 --- a/doc/invoking.rst +++ b/doc/invoking.rst @@ -295,7 +295,7 @@ The following options are available: reader can switch between themes with browsers that support alternate style sheets, or with the "Style" menu that gets added when the page is loaded. If no themes are specified, then just the - default built-in theme ("NewOcean") is used. + default built-in theme ("Linuwial") is used. The path parameter can be one of: @@ -307,11 +307,11 @@ The following options are available: - A *CSS file*: The base name of the file becomes the name of the theme. - - The *name* of a built-in theme ("NewOcean", "Ocean", or "Classic"). + - The *name* of a built-in theme ("Linuwial", "Ocean", or "Classic"). .. option:: --built-in-themes - Includes the built-in themes ("NewOcean", "Ocean", and "Classic"). Can be + Includes the built-in themes ("Linuwial", "Ocean", and "Classic"). Can be combined with :option:`--theme`. Note that order matters: The first specified theme will be the default. @@ -45,8 +45,8 @@ utils/haddock_dist_DATA_FILES += html/Ocean.theme/minus.gif utils/haddock_dist_DATA_FILES += html/Ocean.theme/ocean.css utils/haddock_dist_DATA_FILES += html/Ocean.theme/plus.gif utils/haddock_dist_DATA_FILES += html/Ocean.theme/synopsis.png -utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/new-ocean.css -utils/haddock_dist_DATA_FILES += html/NewOcean.std-theme/synopsis.png +utils/haddock_dist_DATA_FILES += html/Linuwial.std-theme/linuwial.css +utils/haddock_dist_DATA_FILES += html/Linuwial.std-theme/synopsis.png utils/haddock_dist_DATA_FILES += html/solarized.css utils/haddock_dist_DATA_FILES += html/highlight.js utils/haddock_dist_DATA_FILES += latex/haddock.sty diff --git a/haddock-api/haddock-api.cabal b/haddock-api/haddock-api.cabal index a410f436..68653c84 100644 --- a/haddock-api/haddock-api.cabal +++ b/haddock-api/haddock-api.cabal @@ -34,8 +34,8 @@ data-files: html/Ocean.theme/ocean.css html/Ocean.theme/plus.gif html/Ocean.theme/synopsis.png - html/NewOcean.std-theme/new-ocean.css - html/NewOcean.std-theme/synopsis.png + html/Linuwial.std-theme/linuwial.css + html/Linuwial.std-theme/synopsis.png latex/haddock.sty library diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/Linuwial.std-theme/linuwial.css index 5450ae2e..5450ae2e 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/Linuwial.std-theme/linuwial.css diff --git a/haddock-api/resources/html/NewOcean.std-theme/synopsis.png b/haddock-api/resources/html/Linuwial.std-theme/synopsis.png Binary files differindex 85fb86ec..85fb86ec 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/synopsis.png +++ b/haddock-api/resources/html/Linuwial.std-theme/synopsis.png diff --git a/haddock-api/src/Haddock/Backends/Xhtml/Themes.hs b/haddock-api/src/Haddock/Backends/Xhtml/Themes.hs index 10d6ab10..b1d64acd 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml/Themes.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml/Themes.hs @@ -58,7 +58,7 @@ standardTheme :: FilePath -> IO PossibleThemes standardTheme libDir = liftM (liftEither (take 1)) (defaultThemes libDir) --- | Default themes that are part of Haddock; added with --default-themes +-- | Default themes that are part of Haddock; added with @--built-in-themes@ -- The first theme in this list is considered the standard theme. -- Themes are "discovered" by scanning the html sub-dir of the libDir, -- and looking for directories with the extension .theme or .std-theme. diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 567e23f2..53a26042 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >A</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -185,4 +185,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 67db2642..44ee7d6e 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bold</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -97,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 56f70d1f..e264d03c 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug1</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -100,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 fc86fa34..c6104210 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug195</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -181,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 0ae3fa50..a9b63f7a 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -61,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 c7a72711..961fcbb2 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug201</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -102,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 a1c0f905..315ffb79 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug253</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -97,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 d2b31f12..2a316f2d 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug26</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 76ff4bf1..42dd9596 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug280</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -77,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 9e5794fc..d0f5f8f3 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug294</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 79271c3c..698fb2b7 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug298</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -139,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 54f99469..42e55e37 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug3</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -80,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 366950a3..52f897b1 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug308</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -111,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 c7cabc23..cd141586 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug308CrossModule</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -89,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 7e958f2d..1e615fbc 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug310</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 10ff8f30..f289644c 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug313</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -132,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 ede41836..8a0e0843 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug335</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -129,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 ec9bbe8f..7cfd1b0b 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug387</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 45a52f8d..986a5ee6 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug4</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 4c655e8d..aa9ce42e 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug458</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -81,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 7ae15ba8..0e1232e6 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug546</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -274,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 d7e120c9..c8c30c23 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug548</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index 592dd735..918f0492 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug574</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 97fb0c02..22c05c73 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug6</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -333,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 8fb07e6d..883ae9a5 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug613</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 56197b09..183e9a5f 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug647</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -103,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 fe838b6a..52fc80e4 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug679</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 52d2d195..1ed51b3e 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug7</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 170e0d9f..87393695 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug8</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -147,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 57eaeb36..18f0b6b0 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug85</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -135,4 +135,4 @@ ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Bug953.html b/html-test/ref/Bug953.html index 21976848..b49b1fb6 100644 --- a/html-test/ref/Bug953.html +++ b/html-test/ref/Bug953.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bug953</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -147,4 +147,4 @@ ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 0a3133e4..2d814f4e 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BugDeprecated</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -193,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 2e22cad1..2e0eed45 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BugExportHeadings</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index ab658165..edf5f2a2 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Bugs</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -77,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 2840b3c7..58140f5e 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BundledPatterns</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -457,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 a0bac80b..05efa10f 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >BundledPatterns2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -455,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 cb677240..4e5d5025 100644 --- a/html-test/ref/ConstructorArgs.html +++ b/html-test/ref/ConstructorArgs.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ConstructorArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index d4784164..32f6737c 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ConstructorPatternExport</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -117,4 +117,4 @@ ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index f9321c87..c43eb043 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedClass</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -159,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 c8a9c3c9..df7d45ee 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedData</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -189,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 787bdc15..6056c12a 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -107,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 d1682d4e..4ce19d3d 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -81,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 4b946c65..4d9bc3ef 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedFunction3</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -81,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 f993d49a..962067eb 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedModule</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -77,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 886eb45a..112d6913 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedModule2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -71,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 6a1e4339..e33374e1 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedNewtype</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -155,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 e1d226c0..f9efdb59 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedReExport</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 54b087dc..e5449925 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedRecord</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -147,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 90f9e64b..b581c0b2 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedTypeFamily</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -105,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 6ee1a4e2..ac488d75 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DeprecatedTypeSynonym</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -113,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 be7c23fa..29630db4 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >DuplicateRecordFields</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -157,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 aa975a38..4d79ff7a 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Examples</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -172,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 d013fe22..abf77cd8 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Extensions</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -87,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 c9471477..bb54fa27 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >FunArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index a551f29c..9ea7c8ae 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >GADTRecords</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -225,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 ded7d58f..cace8414 100644 --- a/html-test/ref/GadtConstructorArgs.html +++ b/html-test/ref/GadtConstructorArgs.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >GadtConstructorArgs</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index b66915c6..438375f0 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Hash</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index be09cd3c..c5809845 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >HiddenInstances</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 67fc528b..cb42dcbf 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >HiddenInstancesB</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index fde9434d..e1c3fd61 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Hyperlinks</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -85,4 +85,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 b331fda5..f302be21 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ImplicitParams</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -113,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 c1431e9d..308b97ce 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Instances</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index cd642198..318c0acc 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Math</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -107,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 73f472ad..e6e024ef 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Minimal</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -341,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 1ea464d9..3f3d7e83 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >ModuleWithWarning</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -77,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 84198ca3..b1300947 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NamedDoc</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -63,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 cab1e220..a5f33882 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Nesting</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -357,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 c14d6164..48d0c62d 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NoLayout</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -83,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 40357f0d..a20c2d8f 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NonGreedy</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 8c7746af..7eca93e4 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Operators</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -529,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 b9f0b5be..7518d1e8 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstances</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index d4b9d79b..4ddfc4b2 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstancesClass</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index c3cd8cbf..02aae12d 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >OrphanInstancesType</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index c36ef015..2d5afea2 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PR643</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 ae905386..2e7326bc 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PR643_1</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 af6d0210..a002ca32 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PatternSyns</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -388,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 cc65b57e..80a0ff7e 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PromotedTypes</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -203,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 8a5d1660..03f665f4 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Properties</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -89,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 bc8a42d9..62ecd6fa 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >PruneWithWarning</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -64,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 9315b866..00a508ae 100644 --- a/html-test/ref/QuantifiedConstraints.html +++ b/html-test/ref/QuantifiedConstraints.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuantifiedConstraints</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 0dcc8f6a..cbec9742 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuasiExpr</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 2a857433..e4fe6a83 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >QuasiQuote</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -61,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 81c80e77..80b00795 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >SpuriousSuperclassConstraints</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 051f7253..a6d2992c 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TH</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -63,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 617cd1de..c1cec790 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TH2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -59,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 1b6f55fc..6897e8b2 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Table</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index c1d63956..481f5d62 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Test</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 893135e6..ee92a131 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Threaded</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -92,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 1ddd4bf8..f4ff62e2 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Threaded_TH</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -97,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 ba2bbf6a..090d26dc 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket112</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 6d88d7ad..01e76a67 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket61</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -77,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 b61d770a..e92725f6 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Ticket75</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -115,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 4fd7e113..cdd06b8d 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TitledPicture</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -109,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 b501a9a0..f857df2a 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 1db8c3ec..b4d1faa6 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index 22a3f8ff..eb1644fd 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeFamilies3</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index fa1550ef..21e8bf1c 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >TypeOperators</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -187,4 +187,4 @@ ></div ></body ></html -> +>
\ No newline at end of file diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 8f7970d0..059b12cf 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Unicode</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -79,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 65e49e37..4031d101 100644 --- a/html-test/ref/Unicode2.html +++ b/html-test/ref/Unicode2.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Unicode2</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index a480935c..5a814d06 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -4,7 +4,7 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >Visible</title - ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" @@ -63,4 +63,4 @@ ></div ></body ></html -> +>
\ No newline at end of file |
