diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 19572b1cf..61aa3a49c 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -12,7 +12,8 @@ var phrasebook_options={ grammar_list: ["Phrasebook.pgf"], delete_button_text: "Del" } -</script> +</script> +<meta name = "viewport" content = "width = device-width"> </head> <body onload="start_minibar(phrasebook_options)"> |