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 /css/style.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 'css/style.css')
| -rw-r--r-- | css/style.css | 1 |
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; } |