summaryrefslogtreecommitdiff
path: root/css
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-06-11 15:34:16 +0000
committerhallgren <hallgren@chalmers.se>2012-06-11 15:34:16 +0000
commit5db5c8a2035ce257c90022deaced7b17029474da (patch)
tree801f6884563dc52f4f88966b8c1e8d3843d862ad /css
parenta026b93ecb8a34a39656abdc57a34a08bf2bc79c (diff)
GF home page: link to GF clouds service (cloud.grammaticalframework.org)
Also some small cloud service documentation updates.
Diffstat (limited to 'css')
-rw-r--r--css/style.css1
1 files changed, 1 insertions, 0 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; }