From 5db5c8a2035ce257c90022deaced7b17029474da Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 11 Jun 2012 15:34:16 +0000 Subject: GF home page: link to GF clouds service (cloud.grammaticalframework.org) Also some small cloud service documentation updates. --- src/www/gfse/editor.css | 1 + 1 file changed, 1 insertion(+) (limited to 'src/www/gfse/editor.css') 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 -- cgit v1.2.3