Adding an alternate style for the GF home page

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>