summaryrefslogtreecommitdiff
path: root/css/oldstyle.css
diff options
context:
space:
mode:
authorKrasimir Angelov <kr.angelov@gmail.com>2018-06-16 07:09:17 +0200
committerKrasimir Angelov <kr.angelov@gmail.com>2018-06-16 07:09:17 +0200
commit96f3484622866c156045bd1a03bb6145d2c06ba6 (patch)
tree740d0c673d38a789ba4ea3936432f81f6ec98d6a /css/oldstyle.css
parent10e10298d9716c35080c16887a3d50ac4668916a (diff)
parent9d2b92dbc1d9e221ce180497cd7d04e0757650a9 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
Diffstat (limited to 'css/oldstyle.css')
-rw-r--r--css/oldstyle.css43
1 files changed, 0 insertions, 43 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;
-}