adapt to mobile devices

tools/article_wrapper.py

@@ -53,6 +53,7 @@ article_head += "---\n\n"
 header = f"""HTML header: <meta property="og:title" content="{title} on mjestečko"></meta>
     <meta property="og:type" content="article"></meta>
     <meta property="og:url" content="{argv[2]}/articles/{urllib.parse.quote(directory)}.html"></meta>
+    <meta name="viewport" content="width=device-width, initial-scale=1">
 """
 if not brief is None:
     header += f"""<meta property="og:description" content="{brief}"></meta>\n"""

tools/main_page_generator.py

@@ -16,6 +16,7 @@ seed()
 
 page_metadata = """Title:  mjestečko
 CSS:    /style.css
+HTML header:    <meta name="viewport" content="width=device-width, initial-scale=1">
 
 """
 

tools/tag_listing_generator.py

@@ -10,8 +10,14 @@ import os.path as path
 from article_utils import the_line_after_metadata, parse_metadata
 from page_shares import wrap_page
 
-tag_listing_header = "CSS:    /style.css\n\n"
-main_listing_header = "CSS:    /style.css\n\n"
+tag_listing_header = """CSS:    /style.css
+HTML header:    <meta name="viewport" content="width=device-width, initial-scale=1">
+
+"""
+main_listing_header = """CSS:    /style.css
+HTML header:    <meta name="viewport" content="width=device-width, initial-scale=1">
+
+"""
 
 if len(argv) <= 1:
     print("No article directory was supplied")