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

Also some small cloud service documentation updates.
2026-05-18 15:42:50 -06:00 · 2012-06-11 15:34:16 +00:00
parent da80a1d3dd
commit 8b465dcaff
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; }