3 files changed, 8 insertions, 4 deletions
diff --git a/src/www/index.html b/src/www/index.html
index 96071ddd2..1e94659d0 100644
--- a/src/www/index.html
+++ b/src/www/index.html
@@ -9,17 +9,19 @@
 
 <h1><a href="http://www.grammaticalframework.org/"><img src="Logos/gf0.png" alt=""></a><img class=nofloat src="P/gf-cloud.png" alt=""> GF Cloud Service</h1>
 
-<h2>Available Web Applications</h2>
+<h2>Web Applications</h2>
 
 <ul>
   <li><a href="minibar/minibar.html">Minibar</a>
+      (word-completing translation tool)
   <li><a href="syntax-editor/editor.html">Syntax Editor (beta)</a>
   <li><a href="TransQuiz/translation_quiz.html">Translation Quiz</a>
   <li><a href="gfse/">GF online editor for simple multilingual grammars</a>
   <li><a href="translator/">Simple Translation Tool</a>
+      (bilingual document editor)
 </ul>
 
-<h2>Some Documentation</h2>
+<h2>Documentation</h2>
 
 <ul>
   <li><a href="minibar/about.html">About Minibar</a>
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index 9ba25895c..7afa1728e 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -3,6 +3,7 @@
 <title>About Minibar</title>
 <link rel=stylesheet type="text/css" href="minibar.css">
 <meta charset="UTF-8">
+<meta name = "viewport" content = "width = device-width">
 <style>
 :target .summary { font-weight: bold; background: white; }
 </style>
@@ -217,7 +218,7 @@ Some implementation details:
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Nov 20 13:41:21 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 27 15:02:49 CET 2012 <!-- hhmts end -->
 </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
diff --git a/src/www/minibar/minibar-api.html b/src/www/minibar/minibar-api.html
index 505c5155a..b79e41c56 100644
--- a/src/www/minibar/minibar-api.html
+++ b/src/www/minibar/minibar-api.html
@@ -3,6 +3,7 @@
 <head>
 <title>GF web services API examples</title>
 <meta charset="UTF-8">
+<meta name = "viewport" content = "width = device-width">
 
 <style type="text/css">
 body { background: #eee; }
@@ -249,7 +250,7 @@ the user interface:
 <hr>
 <div class=modtime>
 <small class=modtime>
-HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:44:11 CET 2012 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 27 15:03:15 CET 2012 <!-- hhmts end -->
 </small>
 </div>