/* 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;
}
.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;
}
h2 {
font-size: 1.5em;
}
h3 {
font-size: 1.35em;
margin-bottom: 5px;
}
h4 {
font-size: 1.25em;
margin-top: 5px;
}