summaryrefslogtreecommitdiff
path: root/css
AgeCommit message (Collapse)Author
2018-11-06Revert CSS change that produces overlapping text instead of responsive layoutThomas Hallgren
2018-06-14Remove oldstyle.cssJohn J. Camilleri
2015-10-02Minor edit of GF 3.7.1 release noteshallgren
2015-10-01Some work on the release notes and download page for GF 3.7.1.hallgren
2014-06-19css/style0.css: like css/style.css but without changing the default table stylehallgren
2014-06-12New GF home page: trying blue page title and tagline instead of redhallgren
2014-06-11new.html: a proposed new look for the GF home pagehallgren
2013-11-27Adding an alternate style for the GF home pagehallgren
2013-09-29GF home page: minor style changeshallgren
+ Split the list of languages into several columns if space permits (in supported browsers, currently Firefox). + Limit the size of the GF logo to 75% of width the window. Looks better on small screens.
2013-02-07GF home page style updatehallgren
2012-10-26GF home page: avoid line breaks in dates in the news sectionhallgren
2012-10-02index.html: better news formattinghallgren
2012-08-06Updated the GF Developers Guidehallgren
+ The instructions have been modernized and simplified slightly and should now work again. (I have not verified it on Windows.) Using 'cabal' instead of 'runghc Setup.hs' avoids some problems. + Also, download/index.html has simpler installation instructions sufficient for many users, so mention it in the main README file. + Also adjusted the main Makefile.
2012-06-11GF home page: link to GF clouds service (cloud.grammaticalframework.org)hallgren
Also some small cloud service documentation updates.
2012-03-01GF home page minor style updatehallgren
2011-01-18style.css: remove border from linked GF logotypeshallgren
2011-01-11Link back to the start page from the demo and download pages.hallgren
2010-12-22Documentation fixeshallgren
+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files. + Add program update_html that finds all .t2t documents and updates the corresponding .html file. It can be invoked with 'make html'. + Add style to some .html documents
2010-12-20css/style.css: a style sheet for GF web pageshallgren