From b916be8f0b7eafe955caef32c53af857177acbbf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?=
 <sergio@codigoparallevar.com>
Date: Fri, 6 Jan 2023 17:09:10 +0100
Subject: [PATCH] Copy mobile viewport tags from https://eev.ee

---
 scripts/generate.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/generate.py b/scripts/generate.py
index 54e9c22..6c16b99 100644
--- a/scripts/generate.py
+++ b/scripts/generate.py
@@ -772,6 +772,11 @@ def as_document(html, title, global_toc):
     <title>{title} @ {SITE_NAME}</title>
     <link href="../static/style.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">
       function toggle_expand(header_id) {{
         var e = document.getElementById(header_id);