diff options
| -rw-r--r-- | web/src/tags.html | 2 | ||||
| -rw-r--r-- | web/src/tags2.html | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/web/src/tags.html b/web/src/tags.html index d9ea9af..1500e3a 100644 --- a/web/src/tags.html +++ b/web/src/tags.html @@ -1,3 +1,5 @@ +<meta name="viewport" content="width=device-width, initial-scale=1.0"> + <script> /// Map HTML elements to display kinds. const elementToDisplay = (E) => { diff --git a/web/src/tags2.html b/web/src/tags2.html index a321aeb..6625000 100644 --- a/web/src/tags2.html +++ b/web/src/tags2.html @@ -1,3 +1,5 @@ +<meta name="viewport" content="width=device-width, initial-scale=1.0"> + <script> /// Map HTML elements to display kinds. const elementToDisplay = (E) => { |