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 | |
| parent | 47182d4045ba0f9a0e5fe959e7ab21809299b7c9 (diff) | |
Adding an alternate style for the GF home page
| -rw-r--r-- | css/oldstyle.css | 33 | ||||
| -rw-r--r-- | css/style.css | 1 | ||||
| -rw-r--r-- | index.html | 5 |
3 files changed, 37 insertions, 2 deletions
diff --git a/css/oldstyle.css b/css/oldstyle.css new file mode 100644 index 000000000..8eb12ca80 --- /dev/null +++ b/css/oldstyle.css @@ -0,0 +1,33 @@ + +/* Found it at http://article.olduse.net/771@mit-eddie.UUCP */ +@font-face { + font-family: GlassTTYVT220; + src: local("Glass TTY VT220"), local("Glass TTY VT220 Medium"), url(/font/Glass_TTY_VT220.ttf) format("truetype"); +} + +body { + font-size: 20px; + font-family: GlassTTYVT220; + color: #e5b800; + background-color: #0a0600; +} + +h1,h2,h3,h4 { font-size: 20px; } + +img.grow { display: none; } + + +a { color: #ecc800; } +a:hover { color: #fcd800; } + +table.news td { + background: inherit; + border: 0; + vertical-align: baseline; + padding: 0.25ex 0.5ex; +} + +ol.languages { + column-width: 12em; + -moz-column-width: 12em; +} diff --git a/css/style.css b/css/style.css index 396e6f742..b590d92bb 100644 --- a/css/style.css +++ b/css/style.css @@ -8,6 +8,7 @@ h1,h2,h3,h4 { font-family: sans-serif; color: #303030; h1 { text-align: center; } h2 { border-bottom: 2px solid #303030; clear: right; } +div.mainlinks { font-size: 140%; } div.center { text-align: center; } div.news { font-size: small; } 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> |