diff --git a/haddock-api/src/Haddock/Backends/Xhtml.hs b/haddock-api/src/Haddock/Backends/Xhtml.hs index e4a0137efd685155bc47208b2488ce64d96f9dc3..f589e4c91338ae796114f6589ac13200dcd63614 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 9e41e1549b058170f2e8a24d97da91693b3fe6ce..31885479668057e26712c9cb65c11d8c0ce00103 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 9c2a9c83040ae63a63914a774ac07eab7bc69236..251486da1fd9778795f169e4dfc62d7b1077b3ce 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 9c684aa5238b525194a4994213f2dae02f7585ac..0a97cc3e95bc81baf12c673dedb99cc521c5057e 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 d17d3f49cbbd2ee996954a03fbfa9443ae60ed22..605fb9437d5ef34128f70c0760c2b6aa8dc49171 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 3049bf00b1dea8d86f632fa08b585ed0760e6853..26aacf63da697075d23fcc9ada68cc910623e849 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 8fe2da5d35203d1150997f39077ac39477ac6f12..24af565c7f2de075498ca6399ad5318dbf679c1e 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 6db101c3c851e35a34b478d1e21629d255e567bf..0d0cb610e6fee1585bf6cdbe0cf5326e765a15d9 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 314feb5562d2e17467ef5303b35bbc52ae8015f3..b9b688163b726b7288995d0f162e4ed44110bfc7 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 76645bd2adecb669c0a34fce8fce46ea46eef631..437f924a4ebc36b4412c0003428c9651d7fa3e02 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 e480a9cbaed72e4f3c62575560f136cb41016517..6eb5f0634de8d169474ab6419d1bb13ece770821 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 2a1159e43ce6aea2e86b8586762bdfd9a9a705ce..d7978a7c4e4d4279211c8d6ad104e48d339fd09f 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 598d1943f2096e0e7c894a7138440c80bbfb793d..b75b3935f221ce832cce48c0cc3a0630699b148b 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 bf55cee025bc7cd7c785a4031c478279d19d92f3..49583616905603e93420e2dde7bc88a16e6a333a 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 168c3935526f5661ffd64817e2ecbbb4a3394ad1..5970f4291d6c6550df4b6364d24f054485aaf6ae 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 091e1d7466df45eee7b61015a568d3a3b49e4204..acb81bcb84a8cd83ccc304e4c4f2a4b7b6b89ad8 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 d1f65b08d19d18f5b1b15130601df15ffaf16ab4..e4f9fc24417314f723dcbe54c0d99bbb9b9ab4bb 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 a4bc1d8e4086638ef1b7bae74c3272e39e91ec43..0efd2bca3fc944200bd54c1c72a8b6ba159fb0b3 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 2971ac059b25ee6dc5c6d925dd4108ad744a7288..ebd3795d95893a318bd8d1c03d69ae68a8749eec 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 8f2c19f4d742c535badb0f3cf6b1e418b8d7fa6b..a62585e7e7f41cf616979fbc349530802b0fd39c 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 4208dc2aafc6732c9ebd2982d6245e6890d579d3..f246a2c3aec47073a55e7f36ca845be9088a5ea9 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 940f51fcad4af9ea7fa46359b1c1f24223510a13..f5aa45504156cd4d48f6a9975f2e9e2d5be41909 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 f9cb90dedc1660164c2215a73ff3943d8e3c1133..c1ea885c913880d4a61db21cb433fd95f120f07a 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 6cd0af6d08ea9ef628c2ff89175254b29872a579..31d81397411bb4696debff4bc63cb2eae50c7a82 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 2be845458b26556804c2017ddfbcbc7f0ffd9edd..9dcea3da81a1fe04a4dafcb3353bef016855e6f0 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 075f8a21e7d987b89982c34c86a9022b0bcde70a..61041a040acbd9f2e21d0dcd5b73c873b17c6c3d 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 bc09a82c71ae2774e7ca23ab646448eafb5b6674..a9e60a412d29e849ea281518ac9bc925af87a2b9 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 5c86f6dc5cb774cb62ff627b93eb3e13c4bfbf4b..8c697461016fb2232988ec1b8a11f9cce20ed1d8 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 d2b837aba120d3500e9d768891fcd72f26d17fcf..61aca45b4b4ef43f3534047d4c03fe89762bb107 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 69296f1f34ae3398f50427a1075f5d946e29a5ec..f281d379a6fab8296738235722b7e34424ec4777 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 21440de50a49dc283503709c418be54c894f8c64..54d3befd4412f2bfbbd0087b58f085fc5e6a134b 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 a66adf0dccb954ef9ac5d75f9b5b8c0e6fb8cb0a..4998970f93d62337604c3ecc694ae861d6329194 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 a81a89d6998c419e2703f6736364c0648df271b0..4795d05fc92b0875d6e613b181a3a72669c44e02 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 975b430d16cebbbd5fc3ac9d0f4f253a2fdf37a0..6e4fbc69875a270a35f8ef6768e206b196a9e81d 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 f5eaa212a49dab1f9b6cdf5c92c90e7936cd4294..6e27b29e53173c11ce08976b9f2e872769eb44d6 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 11098100e5316e964f4dd2abd2a8b700aaf84b49..a591dc2148a0030e0b663f83aecea6dd957f5516 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 0b7037a2b2326db6decbb1a595c57e558591f5a3..b9950ab819c6baea38217efe1f20b9a3f4c270f0 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 5dc3fda330e6e92ad9165ba3d3b8c46892542e49..cc825df2912ed78115ade5c5f0488cdc85194d97 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 2591f124c704594d812840d8b6db80e14de16392..e27d0c95e170e7e4786e7fd85ba0ced68bf12086 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 d52af866e35c1c549fcf3877aff615d529d687af..a7e2679c2d2e8cf2d1aa9611b6684ce5b3debe48 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 abc92a8bb654fc3de38f11002ca0e0e1a1f18c24..7853195c430483ee922cff407cb4d69edc555ca2 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 e9b2e25f6e4f4b37b80e8924690b5f955d15599f..34b259aaaf42c9d893ced6936ebe9dc6572a3e68 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 b70b6b973fad243f0f864f04f7507533b5ae7809..a2789aa52dea244264c9fc76947b6000a723e6ea 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 1b51cebaf056934953f76973bdda62e58a5a79c9..6a94e6ccadb0133d899ea9a24097e07470072361 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 732a8dfa3ff8168fa4e3cfaec887f197c5d07838..232d73d938ab300cbfdb52e525df9b9e259d9138 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 5681e5b696b88d68bb3a7fa96491697d802b61c0..19d10b40b80eaccb580111e76df5b4b55e5a8b42 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 ba61ea0be6188ac5c8a5dffc2660404bcc7335d4..588332164110bb4a2ae13158feac3632a64bb41a 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 98bca5bec7212d7d7452df20f9a7442171795c6e..d1eed82f3caaecbf5a8cba372a7191f7c4f25200 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 3f151391a1453d41371930d0db01b30c690b5e74..4b5abfcf607e6cc6ef2dead5485218a377ca76fd 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 04a855f8404dc4ac7a2f6b34f6507212b3b3e965..37e23fdaaa4ab92f58c991486e073aec7e3a5be7 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 44fa557306bc0424c9455c7b94fdd89dc5a9a5d2..7eb41eff288e7073219e3c0aeccb49e85e1c4e3b 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 04dfb907b508f809d61ece68f6315250e56f27dd..18f4eaefd7869d1927c63aff7df9a0f03bc2d3c2 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 23686adf2b42855ed9a827fcfbaf075868cb1c63..43657b02c1127e4f07bd155833dee9b99bbfaaac 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 fd8b5114d4d90ed0bbab8210aa20e99a0dda7f7c..177c75533061e017894bd59a506bbc878c31925a 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 4f80c418d4c212e5ff96a70c5776a834c8258cf1..673edf63a6c5b38cde2f7c083013f5ca7745e63a 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 4039a97910b062ad465d5b898d6899215e706559..86fb8f695bc8cf91ca20f5a6dc370a95461483ff 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 12f3ce3dae41220d697651ffa584e623fcce5cda..17c2751e6e50f97245ca3411acae1dcbf0661a93 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 3c02b5f5db5689272656947868a5f4c73e225022..65262cb01fe46f31e0af491cc2b1bbda7f33620f 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 8e3984527dd128ef4df860ca81374e1ef8874523..ef75ef68594f655649ff9451f8a30d2b86cdc184 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 3af35c046c15f6ca6c334ed7746a609c691dbeed..6f0347a46f804b6ebecc705e09780099ba51691e 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 c4941c60f27673a704a7b10af6f5a2481d91660f..d48e19c0e7ed937667946f78cc571d96e6fc9f52 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 065414c4ee360d8265473ca45b1634782bcbf657..42ac55a17507003e1291bd5672d7250f17ec0c96 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 f266234b5e3cc4f48f9f0dbacbcd2d2e13f13f89..672b8700d85e5a1cc6b6e788a4fbff13975e4d08 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 285d0a9aa0e74a79d686f7b75306751909e1232e..f1f110d3a6871ae804bca410a6fffcad5bbd6b6f 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 8d7381b7dfe23de0110db3be2917e8a4f7f4692f..26c9852fb0bab38da01f59beff77ca8207ae9633 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 57b3f71ca1d140e73d3a9e826b9f2ddac0a3b90f..d454a86f35205dd07e70c136f5393fe36658e0cc 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 282c0ddd6fed5fa9eb4a10bb1f33298fadcf5976..a8f1179eaa73da283838badbf9574b381ed49886 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 b863a14070a794fd4d59467082029683e7f5918d..e306fc35f08e7eea2096428d3c209e8c3ce9aae1 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 ac8cb0d5824645c97fbca7918544834bfc8f4a2c..ad105fc92ce19295d2c58b39c8c999ae8d518170 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 70525ae10dc282540244c9a94b4e1ebbfa69b70f..3facf55ad5ce21c17bcf45a4da6ed82fef98802e 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 181876008bd6c290b85ff97a6f63b7edbf81fed3..7c87e2105984fc00255da9f997d7b7a0b2f93c25 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 6fba5964ae68a8c717d2f5108e52f56612de7f25..e79321799ee4a698ffbf46c06f61d14fbd8913d5 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 1bfadae16816762c88ec8de95f60c07bf22e6bc2..10f8059fd0380464057b2b3e6612e44467513278 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 b106e4f01bc593560a514ef701914648707a63fd..9f028ad2aa56f1cc741e1aaf0163685f01a18c5f 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 1bf256657478d1c4768755a6cf77eb0b7250585a..fb5beda2edcd4c6fb58a60299ab4e947dbaa5ffe 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 23c9f3b6fcc84172b579c802faee099f08c0de1b..64aac0558cc1dcfab53c0dbd8364c07db29f56ee 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 7f736dea210d78bd430de0847e6e9007478cb592..1ce9ac2c084a8c685fb055a024b9909d9b79d145 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 7da606033845be222f1ed7c977e8f20e03e6524a..08a7564c2f89a6d83a5664de5ec94be76773c62c 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 f7da28502bec063cf34cd7b6c1e5f76a5d065b3f..1349e0c547e4dc7eac811d052a98c16ac4f09d8f 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 67ece044a4b9e65724fe7393c9847df9f8524270..d33e56a5e7540f726ea1e49a5232f1caaca88554 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 3c2f36c34eae9d9de7b4d1260c2f222b4048848e..a75089f03957eb1f0b35b05f5f5cfba896d8ee4a 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 ebe9a7e7d3ce29a5c5a568b41bbbd97ac09a0240..c21c79139f79f2a8c183450219c379cd9b6537af 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 98b83d94c97b31bd2c0137b5f262e43fa245226f..a12ee9bcb03dc100891ed95c654682de49791244 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 ef09f281aabf01a8c01d80b7c2f96d1e11f00e5f..9b5f1bed5a446879970c28ab7d007fd86eb38f6b 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 b35c800c8ac08e776a3e279e72e7ad10460d4912..3524d6e00c1679ef9c459121ccc51bcf32e7aa69 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 9bb6812886bc16abc41f65eec2b5fc5087b7bfd4..997bf6905597a2b7b2f0fd741a130ec201760b03 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 72a006670ec7053e0271a0a6e68c4686d78b4e50..21354660ce09b21b259516dbccf830a9277135ff 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 9fdb81c16ad33759268b72c227670f27bf7fc6a1..3f820bebf98f03e89d1a27c5f7cc1c40db0183a1 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 5b82e8d917ed6dff05afde9877860e095d4b9c9b..5990fa1be386711767e3d979f21cd88910208dca 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 e5da2a60a0465b883f595c8958b774a5e863f4d1..063211b994e9303a7f4abf2208e117d2e5da186f 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 b51f85a11363513c895d027c6846559b2a297739..b5f4fdabff3b10478d2eab0c56ef1efbd4ea031a 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 3241fab479a1459cdf0566dfba6067246856b74f..5e891fe4a90ada8c1418803f1ce77167a2eedaa8 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 7d74e528fb519e9575428ae2a801888b37ab6d5a..e5628628ef699f3769abd1a22a4d88a4b899f7a6 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 890c401f0ed9ae3f9dfdffae0cce6196dfbda38c..1551fa25f0e2f2d2fdc7f2a2b121f8d19615c665 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 1bafae3f17a815282c94edbcb119b2eb71f2eee6..a9da3b018ccf51dd0d1b92d727a9b061a9361414 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"