diff options
| author | hallgren <hallgren@chalmers.se> | 2012-06-11 15:34:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-06-11 15:34:16 +0000 |
| commit | 5db5c8a2035ce257c90022deaced7b17029474da (patch) | |
| tree | 801f6884563dc52f4f88966b8c1e8d3843d862ad /src/www/gfse | |
| parent | a026b93ecb8a34a39656abdc57a34a08bf2bc79c (diff) | |
GF home page: link to GF clouds service (cloud.grammaticalframework.org)
Also some small cloud service documentation updates.
Diffstat (limited to 'src/www/gfse')
| -rw-r--r-- | src/www/gfse/about.html | 4 | ||||
| -rw-r--r-- | src/www/gfse/editor.css | 1 |
2 files changed, 3 insertions, 2 deletions
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 |