Copy mobile viewport tags from https://eev.ee

This commit is contained in:
Sergio Martínez Portela 2023-01-06 17:09:10 +01:00
parent 84b86e456b
commit b916be8f0b

View File

@ -772,6 +772,11 @@ def as_document(html, title, global_toc):
<title>{title} @ {SITE_NAME}</title> <title>{title} @ {SITE_NAME}</title>
<link href="../static/style.css" rel="stylesheet"/> <link href="../static/style.css" rel="stylesheet"/>
<link href="../static/syntax.css" rel="stylesheet"/> <link href="../static/syntax.css" rel="stylesheet"/>
<!-- v Fixes mobile viewports. -->
<meta name="HandheldFriendly" content="True">
<meta name="MobileOptimized" content="320">
<meta name="viewport" content="width=device-width, initial-scale=1">
<script type="text/javascript"> <script type="text/javascript">
function toggle_expand(header_id) {{ function toggle_expand(header_id) {{
var e = document.getElementById(header_id); var e = document.getElementById(header_id);