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