aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/Bug574.html10
-rw-r--r--html-test/ref/ConstructorArgs.html10
-rw-r--r--html-test/ref/GadtConstructorArgs.html10
-rw-r--r--html-test/ref/QuantifiedConstraints.html10
-rw-r--r--html-test/ref/Table.html18
-rw-r--r--html-test/ref/TypeFamilies3.html10
-rw-r--r--html-test/ref/Unicode2.html10
7 files changed, 45 insertions, 33 deletions
diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html
index ed0a5e15..ab24218e 100644
--- a/html-test/ref/Bug574.html
+++ b/html-test/ref/Bug574.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>Bug574</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html
index 9aad9c86..922d3ccb 100644
--- a/html-test/ref/ConstructorArgs.html
+++ b/html-test/ref/ConstructorArgs.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>ConstructorArgs</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html
index 7497de83..f5ef417d 100644
--- a/html-test/ref/GadtConstructorArgs.html
+++ b/html-test/ref/GadtConstructorArgs.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>GadtConstructorArgs</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html
index fa2c18ec..5e2ab488 100644
--- a/html-test/ref/QuantifiedConstraints.html
+++ b/html-test/ref/QuantifiedConstraints.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>QuantifiedConstraints</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html
index 462f7ca5..7ba2d38d 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -177,16 +177,16 @@
><thead
><tr
><th
- > Header row, column 1
+ > Header row, column 1
(header rows optional) </th
><th
- > Header 2
+ > Header 2
</th
><th
- > Header 3
+ > Header 3
</th
><th
- > Header 4
+ > Header 4
</th
></tr
></thead
@@ -215,12 +215,12 @@
><td
> body row 3 </td
><td rowspan="2"
- > Cells may
- span rows.
+ > Cells may
+ span rows.
</td
><td colspan="2" rowspan="2"
- > \[
- f(n) = \sum_{i=1}
+ > \[
+ f(n) = \sum_{i=1}
\] </td
></tr
><tr
@@ -237,4 +237,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html
index 2dadf435..fa270191 100644
--- a/html-test/ref/TypeFamilies3.html
+++ b/html-test/ref/TypeFamilies3.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>TypeFamilies3</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html
index bf667bae..cb9e84a2 100644
--- a/html-test/ref/Unicode2.html
+++ b/html-test/ref/Unicode2.html
@@ -1,9 +1,11 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>Unicode2</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
@@ -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"
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-11 01:40:43 +0000