diff options
| -rw-r--r-- | css/oldstyle.css | 43 | ||||
| -rw-r--r-- | css/style0.css | 6 | ||||
| -rw-r--r-- | index.html | 4 |
3 files changed, 5 insertions, 48 deletions
diff --git a/css/oldstyle.css b/css/oldstyle.css deleted file mode 100644 index fcc422975..000000000 --- a/css/oldstyle.css +++ /dev/null @@ -1,43 +0,0 @@ - -/* 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.logo, img.grow { display: none; } - -a { color: #ecc800; } -a:hover { color: #fcd800; } - -div.links { - display: inline-block; - vertical-align: top; - margin-right: 1em; -} - -table.news td { - background: inherit; - border: 0; - vertical-align: baseline; - padding: 0.25ex 0.5ex; -} - -table.news td:nth-child(1) { - /* Don't want the hyphens in dates (2012-06-29) to cause line breaks */ - white-space: nowrap; -} - -ol.languages { - column-width: 12em; - -moz-column-width: 12em; -} diff --git a/css/style0.css b/css/style0.css index 6e5500a17..3c53c5378 100644 --- a/css/style0.css +++ b/css/style0.css @@ -17,8 +17,10 @@ h1 img.nofloat { float: none; } img.right { float: right; } ol.languages { - column-width: 12em; - -moz-column-width: 12em; + display: flex; + flex-direction: column; + flex-wrap: wrap; + height: 12em; } .grow { diff --git a/index.html b/index.html index c6d96a6bf..f00aaabee 100644 --- a/index.html +++ b/index.html @@ -4,9 +4,7 @@ <TITLE>GF - Grammatical Framework</TITLE> <meta charset="UTF-8"> <link rel="stylesheet" href="css/newstyle.css" title="GF"> -<link rel="alterante stylesheet" href="css/oldstyle.css" title="Old"> -<link rel="alternate" href="https://github.com/GrammaticalFramework/GF/" title="GF GitHub Mirror"> -<link rel="alternate" href="http://grammatical-framework.blogspot.com/" title="GF Blog"> +<link rel="alternate" href="https://github.com/GrammaticalFramework/GF/" title="GF GitHub repository"> <meta name = "viewport" content = "width = device-width"> <script type="text/javascript"> function sitesearch() { |