GF home page: link to GF clouds service (cloud.grammaticalframework.org)

Also some small cloud service documentation updates.
2026-04-09 04:59:31 -06:00 · 2012-06-11 15:34:16 +00:00
parent a026b93ecb
commit 5db5c8a203
8 changed files with 17 additions and 11 deletions
--- 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; }