diff options
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> |