diff options
95 files changed, 97 insertions, 2 deletions
diff --git a/haddock-api/src/Haddock/Backends/Xhtml.hs b/haddock-api/src/Haddock/Backends/Xhtml.hs index e4a0137e..f589e4c9 100644 --- a/haddock-api/src/Haddock/Backends/Xhtml.hs +++ b/haddock-api/src/Haddock/Backends/Xhtml.hs @@ -32,7 +32,7 @@ import Haddock.Types import Haddock.Version import Haddock.Utils import Haddock.Utils.Json -import Text.XHtml hiding ( name, title, p, quote ) +import Text.XHtml hiding ( title, p, quote ) import Haddock.GhcUtils import Control.Monad ( when, unless ) @@ -121,7 +121,8 @@ copyHtmlBits odir libdir themes withQuickjump = do headHtml :: String -> Themes -> Maybe String -> Html headHtml docTitle themes mathjax_url = header << [ - meta ! [httpequiv "Content-Type", content "text/html; charset=UTF-8"], + meta ! [ httpequiv "Content-Type", content "text/html; charset=UTF-8"], + meta ! [ name "viewport", content "width=device-width, initial-scale=1"], thetitle << docTitle, styleSheet themes, thelink ! [ rel "stylesheet", thetype "text/css", href quickJumpCssFile] << noHtml, diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 9e41e154..31885479 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 9c2a9c83..251486da 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 9c684aa5..0a97cc3e 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index d17d3f49..605fb943 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index 3049bf00..26aacf63 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 8fe2da5d..24af565c 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 6db101c3..0d0cb610 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 314feb55..b9b68816 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 76645bd2..437f924a 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index e480a9cb..6eb5f063 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 2a1159e4..d7978a7c 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 598d1943..b75b3935 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index bf55cee0..49583616 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 168c3935..5970f429 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index 091e1d74..acb81bcb 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index d1f65b08..e4f9fc24 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index a4bc1d8e..0efd2bca 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 2971ac05..ebd3795d 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 8f2c19f4..a62585e7 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 4208dc2a..f246a2c3 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index 940f51fc..f5aa4550 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index f9cb90de..c1ea885c 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 6cd0af6d..31d81397 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 2be84545..9dcea3da 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 075f8a21..61041a04 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index bc09a82c..a9e60a41 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 5c86f6dc..8c697461 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index d2b837ab..61aca45b 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index 69296f1f..f281d379 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 21440de5..54d3befd 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index a66adf0d..4998970f 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index a81a89d6..4795d05f 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 975b430d..6e4fbc69 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index f5eaa212..6e27b29e 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 11098100..a591dc21 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index 0b7037a2..b9950ab8 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 5dc3fda3..cc825df2 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 2591f124..e27d0c95 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index d52af866..a7e2679c 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index abc92a8b..7853195c 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index e9b2e25f..34b259aa 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index b70b6b97..a2789aa5 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 1b51ceba..6a94e6cc 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 732a8dfa..232d73d9 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 5681e5b6..19d10b40 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index ba61ea0b..58833216 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 98bca5be..d1eed82f 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index 3f151391..4b5abfcf 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index 04a855f8..37e23fda 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 44fa5573..7eb41eff 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 04dfb907..18f4eaef 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 23686adf..43657b02 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index fd8b5114..177c7553 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index 4f80c418..673edf63 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 4039a979..86fb8f69 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 12f3ce3d..17c2751e 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 3c02b5f5..65262cb0 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 8e398452..ef75ef68 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 3af35c04..6f0347a4 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index c4941c60..d48e19c0 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 065414c4..42ac55a1 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index f266234b..672b8700 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 285d0a9a..f1f110d3 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 8d7381b7..26c9852f 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 57b3f71c..d454a86f 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 282c0ddd..a8f1179e 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index b863a140..e306fc35 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index ac8cb0d5..ad105fc9 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 70525ae1..3facf55a 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index 18187600..7c87e210 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index 6fba5964..e7932179 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index 1bfadae1..10f8059f 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index b106e4f0..9f028ad2 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 1bf25665..fb5beda2 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 23c9f3b6..64aac055 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index 7f736dea..1ce9ac2c 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 7da60603..08a7564c 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index f7da2850..1349e0c5 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 67ece044..d33e56a5 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 3c2f36c3..a75089f0 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index ebe9a7e7..c21c7913 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html index 98b83d94..a12ee9bc 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index ef09f281..9b5f1bed 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index b35c800c..3524d6e0 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 9bb68128..997bf690 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 72a00667..21354660 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 9fdb81c1..3f820beb 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 5b82e8d9..5990fa1b 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index e5da2a60..063211b9 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index b51f85a1..b5f4fdab 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 3241fab4..5e891fe4 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 7d74e528..e5628628 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 890c401f..1551fa25 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 1bafae3f..a9da3b01 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -1,6 +1,7 @@ <html xmlns="http://www.w3.org/1999/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" |