minibar/about.html: minor adjustments

2 files changed, 8 insertions, 6 deletions

diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html
index bce203708..f30d1a72d 100644
--- a/src/runtime/javascript/minibar/about.html
+++ b/src/runtime/javascript/minibar/about.html
@@ -10,7 +10,8 @@
 <h1>About Minibar</h1>
 
 <a href="minibar.html">Minibar</a> is an alternative implementation of the
-<a href="http://www.grammaticalframework.org:41296/fridge/">Fridge Poetry web app</a>.
+<a href="http://www.grammaticalframework.org/">GF</a> web app
+<a href="http://www.grammaticalframework.org:41296/fridge/">Fridge Poetry</a>.
 It doesn't do everything the original Fridge Poetry does (e.g. drag-and-drop is missing),
 so I refer to it as a minibar rather than a full refrigerator :-)
 
@@ -100,9 +101,10 @@ Some implementation details:
   by the options <code>feedback_url</code> and <code>help_url</code> passed to
   <code>start_minibar</code>.
   <li>[Added 2010-06-02] New option: <code>default_source_language</code>.
-  <li>[Added 2010-09-10] Minibar now automatically uses AJAX instead of JSON
-  when possible (i.e. when the HTML document and the PGF server is on the same
-  server).
+  <li>[Added 2010-09-10] Minibar now automatically uses
+      <a href="http://en.wikipedia.org/wiki/Ajax_(programming)">AJAX</a>
+      instead of JSONP when possible (i.e. when the HTML document and the
+      PGF server are on the same server).
   <li>[Added 2010-09-10] The default input language is now the user's preferred
   language, if possible. This is implemented by consulting the
   <code>userLanguage</code> field in the grammar info output by pgf-server.
@@ -147,7 +149,7 @@ Some implementation details:
 
 <hr>
 <small class=modtime>
-<!-- hhmts start --> Last modified: Tue Nov 23 13:06:40 CET 2010 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov 28 12:49:43 CET 2010 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>
diff --git a/src/runtime/javascript/minibar/minibar.css b/src/runtime/javascript/minibar/minibar.css
index a75cd3f27..914cec541 100644
--- a/src/runtime/javascript/minibar/minibar.css
+++ b/src/runtime/javascript/minibar/minibar.css
@@ -35,7 +35,7 @@ div.word, span.word, div#words div, div#words input[type=button] {
 div.modtime { float: right; }
 .modtime { color: #444; white-space: nowrap; }
 
-ul.space>li { margin-top: 0.5ex; }
+ul.space>li { margin-top: 0.75ex; }
 
 div#saldospel input[type=button] { font-size: 100%; }