tilde.institute-site/tilde.css

/* see the tail end of index.html 
 * for license information */


body {
        background-color: #000000;
        font-family: monospace;
	font: Noto Mono;
        color: green;
        padding-right: 0px;
        margin-top: 10px;
        margin-bottom: 10px;
        margin-right: auto;
        margin-left: auto;
        width: 850px;
        font-size: 1.15em;
}
.date {
        font-weight: bold;
}
#logo {
	margin-left: 40px;
	margin-bottom: 10px;
	font-size: 2.5em;
}
#logobyline {
	margin-left: 80px;
	margin-top: -20px;
}
#navigation {
        margin-left: auto;
	margin-right: 40px;
	width: 850px;
	text-align: center;
}
#content {
	width: 750px;
	margin-left: 50px;
}
#container {
        width: 850px;
	margin-bottom: 100px;
}
#news {
    width: 550px;
    margin-left: 100px;
}
#code {
    width: 500px;
    margin-left: auto;
    margin-right: auto;
    background-color: #999999;
    color: #000000;
}
a:link {
text-decoration: none;
color:#cccccc;
}

a:visited {
color:#999999;
text-decoration: none;
}

a:hover {
color:#ffffff;
font-weight: bold;
}

p {
	text-indent: 15px;
}
code {
    text-indent: 30px;
    font-family: monospace;
    font: DejaVu Sans Mono;
    color: #000000;
    background-color: #999999;
    padding-left: 4px;
    padding-right: 4px;
}
em {
    font-style: bold;
}
h1 {
    font-size: 1.75em;
    text-align: center;
    margin-left: auto;
    margin-right: auto;
}
h3 {
	font-size: 1.5em;
	margin-bottom: 5px;
}
h4 {
    font-size: 1.25em;
    margin-top: 5px;
}