diff options
Diffstat (limited to 'demos/index.html')
| -rw-r--r-- | demos/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demos/index.html b/demos/index.html index d78148fef..f399f3632 100644 --- a/demos/index.html +++ b/demos/index.html @@ -3,6 +3,7 @@ <HEAD> <TITLE>Grammatical Framework Demos</TITLE> <link rel=stylesheet href="../css/style.css"> +<meta name = "viewport" content = "width = device-width"> <link rel=top href="../" title="GF"> </HEAD> |