Merge pull request #4162 from reiner-dolp/master
IdrisDoc, set charset and viewport
commit44a3f9c48f8424b2d516c2eb8098e5dd1350c4cd
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 30 Oct 2017, 11:34 (9 years ago)
parent2eec99948fa745
src/Idris/IdrisDoc.hs+2
@@ -641,6 +641,8 @@ wrapper ns inner =
641641 indexPage = base ++ "index.html" :: String
642642 in H.docTypeHtml $ do
643643 H.head $ do
644+ H.meta ! charset "utf-8"
645+ H.meta ! name "viewport" ! content "width=device-width, initial-scale=1, shrink-to-fit=no"
644646 H.title $ do
645647 "IdrisDoc"
646648 if index then " Index" else do