minibar/about.html: minor adjustments

This commit is contained in:
hallgren
2010-11-28 11:52:48 +00:00
parent 5acc248546
commit ee4d264896
2 changed files with 8 additions and 6 deletions

View File

@@ -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>

View File

@@ -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%; }