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/editor.css | |
| 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/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 1 |
1 files changed, 1 insertions, 0 deletions
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 |