Skip to content
Snippets Groups Projects
Commit 0cf79050 authored by Nuno Alexandre's avatar Nuno Alexandre Committed by Alec Theriault
Browse files

Add an initial-scale property to all haddock pages

This solves an issue reported about the content looking
incredibly small on mobile devices.
parent 3354c3cc
No related branches found
No related tags found
No related merge requests found
Showing
with 22 additions and 2 deletions
......@@ -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,
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
<html xmlns="http://www.w3.org/1999/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"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment