diff options
| author | hallgren <hallgren@chalmers.se> | 2012-09-28 20:26:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-09-28 20:26:13 +0000 |
| commit | ac6c8971fcfe9046da1c99b875252af5592adffb (patch) | |
| tree | a197c5fa4b3b58607dad290e5576b49a47ad1309 /eclipse | |
| parent | 999d02eb30440d61db9125ea6ae8f8c3c4044470 (diff) | |
Make the GF web site more mobile friendly
Most of the pages on the GF web site have an exemplary simple design,
with just one column of text. This make them adapt exceptionally
well to screens of different sizes. In particular, they should be
easy to read even on smartphones.
However, smartphone browsers like Mobile Safari and the default
Android Browser assume that pages do *not* adapt well to small
screens, so by default they emulate a big screen, forcing the user
to zoom in to a part of the page to be able to read it. By adding
the meta tag
<meta name = "viewport" content = "width = device-width">
the big screen emulation can be turned off, allowing pages to be
formatted to fit the actual screen size and text to be displayed
at a readable size.
Diffstat (limited to 'eclipse')
| -rw-r--r-- | eclipse/Makefile | 1 | ||||
| -rw-r--r-- | eclipse/index.html | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/eclipse/Makefile b/eclipse/Makefile index 2d8bf2318..878a488c6 100644 --- a/eclipse/Makefile +++ b/eclipse/Makefile @@ -5,6 +5,7 @@ local: echo "<html>\n<head>\n" > index.html echo "<title>GF Eclipse Plugin</title>\n" >> index.html echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"http://www.grammaticalframework.org/css/style.css\">\n" >> index.html + echo '<meta name = "viewport" content = "width = device-width">' >>index.html echo "</head>\n<body>\n" >> index.html php ~/markdown-convert.php ~/repositories/gf-eclipse-plugin/README.md index.html --append echo "</body>\n</html>" >> index.html diff --git a/eclipse/index.html b/eclipse/index.html index fb37736f2..f7f685d95 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -5,6 +5,7 @@ <link rel="stylesheet" type="text/css" href="http://www.grammaticalframework.org/css/style.css"> +<meta name = "viewport" content = "width = device-width"> </head> <body> |