1
0
forked from GitHub/gf-core

Remove oldstyle.css

This commit is contained in:
John J. Camilleri
2018-06-14 10:11:11 +02:00
parent f0c5d53e78
commit 71c7fbc7f9
3 changed files with 5 additions and 48 deletions

View File

@@ -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;
}

View File

@@ -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 {

View File

@@ -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() {