diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-27 15:32:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-27 15:32:25 +0000 |
| commit | eea636966d2ff59fa4185fa6a25ef3707181522c (patch) | |
| tree | 3116b40fbb91b45e3508a7e8c2d48a953b0fb840 /index.html | |
| parent | 47182d4045ba0f9a0e5fe959e7ab21809299b7c9 (diff) | |
Adding an alternate style for the GF home page
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/index.html b/index.html index cfce5d2e0..dfb06005f 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,8 @@ <HEAD> <TITLE>GF - Grammatical Framework</TITLE> <meta charset="UTF-8"> -<link rel=stylesheet href="css/style.css"> +<link rel="stylesheet" href="css/style.css" title="GF"> +<link rel="alterante stylesheet" href="css/oldstyle.css" title="Old"> <meta name = "viewport" content = "width = device-width"> <script type="text/javascript"> function sitesearch() { @@ -30,7 +31,7 @@ Version 3.5 August 2013 <P> -<div class=mainlinks style="font-size: 140%"> +<div class=mainlinks> [ <A HREF="demos/index.html">Demos</A> | <A HREF="http://www.grammaticalframework.org/download/index.html">Download</A> | <A HREF="lib/doc/synopsis.html">Libraries</A> |