diff options
| -rw-r--r-- | css/style.css | 1 | ||||
| -rw-r--r-- | gf.cabal | 1 | ||||
| -rw-r--r-- | index.html | 1 | ||||
| -rw-r--r-- | src/www/P/gf-cloud.png | bin | 0 -> 5227 bytes | |||
| -rw-r--r-- | src/www/gfse/about.html | 4 | ||||
| -rw-r--r-- | src/www/gfse/editor.css | 1 | ||||
| -rw-r--r-- | src/www/index.html | 3 | ||||
| -rw-r--r-- | src/www/translator/about.html | 17 |
8 files changed, 17 insertions, 11 deletions
diff --git a/css/style.css b/css/style.css index 81c5db6d4..3a917bbfe 100644 --- a/css/style.css +++ b/css/style.css @@ -20,3 +20,4 @@ td { background: white; } th { background: #9df; } h1 img { float: right; border: 0; } +h1 img.nofloat { float: none; } @@ -14,6 +14,7 @@ tested-with: GHC==6.12.3, GHC==7.0.4 data-dir: src data-files: www/index.html + www/P/*.png www/gfse/*.html www/gfse/*.css www/gfse/*.js diff --git a/index.html b/index.html index 7613accf2..86ba80b04 100644 --- a/index.html +++ b/index.html @@ -36,6 +36,7 @@ March 2012 | <A HREF="doc/gf-quickstart.html">QuickStart</A> | <A HREF="http://groups.google.com/group/gf-dev">UserGroup</A> | <A HREF="gf-book">Book</A><font size=-1 color=red><i>New!</i></font> +| <a href="http://cloud.grammaticalframework.org/"><img src="src/www/P/gf-cloud.png" alt="GF Cloud Service" title="GF Cloud Service"></a> ] </div> <div class=extralinks> diff --git a/src/www/P/gf-cloud.png b/src/www/P/gf-cloud.png Binary files differnew file mode 100644 index 000000000..42045fb65 --- /dev/null +++ b/src/www/P/gf-cloud.png diff --git a/src/www/gfse/about.html b/src/www/gfse/about.html index 0d52f32eb..11b66b380 100644 --- a/src/www/gfse/about.html +++ b/src/www/gfse/about.html @@ -16,7 +16,7 @@ </head> <body> -<h1>GF online editor for simple multilingual grammars</h1> +<h1><a href="../"><img src="../P/gf-cloud.png" alt="" title="GF Cloud Service"></a>GF online editor for simple multilingual grammars</h1> <div class=right> <div class=slideshow> @@ -234,7 +234,7 @@ suitable for multiple users developing a grammar in collaboration. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Fri Nov 25 12:44:33 CET 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Jun 11 17:25:17 CEST 2012 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index ff5554175..dc7180c33 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -5,6 +5,7 @@ h1,h2,h3,h4 { color: #303030; text-shadow: rgba(0,0,0,0.25) 3px 3px 5px; } h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } h1 img { float: right; border: 0; max-width: 50%; } +h1 img.nofloat { float: none; } #editor { /* This allows the div to grow wider than the window if necessary to diff --git a/src/www/index.html b/src/www/index.html index eae755370..abc06780c 100644 --- a/src/www/index.html +++ b/src/www/index.html @@ -7,7 +7,7 @@ <link rel="stylesheet" type="text/css" href="gfse/editor.css" title="Cloud"> <meta name = "viewport" content = "width = device-width"> -<h1><a href="http://www.grammaticalframework.org/"><img src="Logos/gf0.png" alt=""></a>GF Cloud Service</h1> +<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> @@ -26,6 +26,7 @@ <li><a href="gfse/about.html">About the online grammar editor</a> <li><a href="translator/about.html">About the simple translation tool</a> <li><a href="minibar/gf-web-api-examples.html">PGF web service API examples</a> + <li><a href="http://code.google.com/p/grammatical-framework/wiki/GFWebServiceAPI">PGF web service API documentation</a> </ul> <hr> diff --git a/src/www/translator/about.html b/src/www/translator/about.html index 47387011e..4e24780da 100644 --- a/src/www/translator/about.html +++ b/src/www/translator/about.html @@ -12,15 +12,16 @@ </head> <body> -<h1>About the Simple Translation Tool</h1> +<h1><a href="../"><img src="../P/gf-cloud.png" alt="" title="GF Cloud Service"></a>About the Simple Translation Tool</h1> <p> -This is a simple bilingual document editor. Documents consist of a sequence -of segments that are translated independently. The user can import text -in the source language and obtain automatically translated text in -the target language. Imported text can be segmented based on punctuation. + +<a href="./">This</a> is a simple bilingual document editor. Documents consist +of a sequence of segments that are translated independently. The user can import +text in the source language and obtain automatically translated text in the +target language. Imported text can be segmented based on punctuation. Optionally, one can also use line breaks or blank lines to indicate segmentation -in imported text. +in imported text. Text can be edited after it has been imported. <p>If an unsatisfactory automatic translation is obtained, the user can click on it and replace it with a manual translation. @@ -44,7 +45,7 @@ closed and reopened later. to be capitalized, e.g. "I am ready." and "Spanish wine is good." <li>Cloud service. <li>Interface to other translation services. - <li>Interface to grammar editor for grammar extension. + <li>Interface to the grammar editor for grammar extension. <li>More browser compatibility testing (Chrome, Firefox & Safari tested so far). <li>... @@ -54,7 +55,7 @@ closed and reopened later. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Tue May 29 16:30:58 CEST 2012 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Jun 11 17:25:39 CEST 2012 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |
