From 8b465dcaff503773d5a6a56ab8ec3ded53213a71 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 11 Jun 2012 15:34:16 +0000 Subject: [PATCH] GF home page: link to GF clouds service (cloud.grammaticalframework.org) Also some small cloud service documentation updates. --- css/style.css | 1 + gf.cabal | 1 + index.html | 1 + src/www/P/gf-cloud.png | Bin 0 -> 5227 bytes src/www/gfse/about.html | 4 ++-- src/www/gfse/editor.css | 1 + src/www/index.html | 3 ++- src/www/translator/about.html | 17 +++++++++-------- 8 files changed, 17 insertions(+), 11 deletions(-) create mode 100644 src/www/P/gf-cloud.png 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; } diff --git a/gf.cabal b/gf.cabal index 4be421edf..6f8b06ea3 100644 --- a/gf.cabal +++ b/gf.cabal @@ -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 | QuickStart | UserGroup | BookNew! +| GF Cloud Service ]