body {
    background-color: rgb(0,0,0);
    background-image: url('/img/header-bg.jpg');
    background-repeat: repeat-x;
    background-position: top;
    color: rgb(200,180,140);
    margin: 0 auto;
    font-size: 11pt;
}

a {
    color: rgb(125,125,255);
    text-decoration: none;
    border-bottom: 1px solid rgb(80,80,180);
}

a:hover {
    color: rgb(255,255,125);
    border-bottom: 1px solid rgb(255,255,125);
}

a img {
    border: 0;
}

strong {
    color: rgb(230,230,230);
    font-weight: bold;
    font-family: "Bitstream Vera Serif","serif";
}

pre {
    color: rgb(200,180,50);
    margin: 1em 0 1.4em 0.5em;
    padding: 0.4em;
    border: 1px solid rgb(20,20,20);
    border-left-width: 8px;
}

xmp {
    margin: 0;
    padding: 0;
}

code {
    color: rgb(140,225,100);
    background-color: rgb(12,12,12);
}

p {
    margin: 0.6em 0;
}

div.main {
    width: 472px;
    margin: 0 auto;
    color: rgb(190,220,190);
    background-color: rgb(1,19,2);
    padding: 0 16px;
    border: 4px solid rgb(4,35,0);
    border-width: 0 1px 0px 1px;
    min-height: 42px;
}

div.edge {
    background-repeat: no-repeat;
    background-position: bottom;
    background-image: url('/img/fade.jpg');
    padding: 0 0 80px 0;
    margin-top: -28px;
    text-align: center;
    z-index: 1000;
}

div.body-default {
    width: 42em;
    margin: 0 auto;
}

blockquote {
    font-family: monospace;
    color: rgb(150,200,150);
    margin: 1em 0;
    padding: 0.5em 0;
}

img#banner {
    margin: 0 auto -20px auto;
    width: 768px;
    height: 85px;
    display: block;
    border: 0px solid rgb(0,0,0);
    z-index: 5;
}

h2 {
    font-family: "Bitstream Vera Serif","serif";
    font-weight: normal;
    border-bottom: 0px solid rgb(200,200,200);
    margin: 0.8em -1em 0.2em -1em;
    font-size: 2.4em;
    color: rgb(180,170,60);
    padding: 0.1em 1em;
    line-height: 0.8em;
}

h3 {
    font-family: "Bitstream Vera Serif", "serif";
    font-weight: normal;
    font-size: 1.2em;
    margin: 1em 0 0.2em 0;
    color: rgb(90,140,240);
}

h3.fga:before {
    content: "A: ";
    color: rgb(255,200,200);
}

p.intro {
    text-align: center;
    font-size: 0.9em;
    color: rgb(80,120,80);
    margin: 0 auto 1em auto;
    padding: 0;
    width: 360px;
}

p.mail {
    padding: 0.2em 0 0 0;
    font-size: 0.9em;
    text-align: center;
    margin-top: 1em;
    margin-bottom: 0.8em;
    clear: both;
}

p.mail span.label {
    background-color: transparent;
    clear: both;
    padding: 0.4em 2em;
}

p.mail span.mail {
    background-color: rgb(0,0,0);
    font-size: 1.25em;
    clear: both;
    font-family: monospace;
    color: rgb(255,255,255);
    padding: 0.2em 2em;
    margin: 0.2em 0 0 0;
    text-align: center;
    border: 1px solid black;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}

p.mail span.mail span.at {
    font-size: 1.9em;
    color: rgb(40,60,40);
    margin: 0;
    line-height: 1em;
    font-family: serif;
    vertical-align: middle;
    font-weight: bold;
}

div.main p {
    text-align: center;
}

table.metadata {
    border-collapse: collapse;
    border-color: rgb(30,0,20);
    border-style: dotted;
    border-width: 0px;
    color: rgb(180,20,80);
    font-family: Monospace;
    margin: 3em auto 1em auto;
}

table.metadata td {
    padding: 0.5em 1em;
    text-align: right;
    color: rgb(60,60,60);
}

table.metadata td + td {
    border-left: 1px dotted rgb(30,0,20);
    text-align: left;
    padding: 0.5em 1em;
    color: rgb(180,20,80);
}

table.metadata td + td:after {
    content: "";
}

table.metadata a {
    border: 0;
}

p.note {
    border: 1px solid rgb(30,0,20);
    padding: 0.5em;
    margin: 1em 0;
    color: rgb(160,160,160);
}

p.note:before {
    content: "Note: ";
    font-weight: bold;
    color: rgb(130,0,60);
}

div.license {
    text-align: center;
    font-size: 0.9em;
    color: rgb(80,80,80);
    width: 30em;
    margin: 0 auto;
}

div.license a {
    border: 0;
    text-decoration: none;
    color: rgb(80,80,128);
}

ul#elsewhere {
    display: block;
    list-style-type: none;
    text-align: center;
    margin: 0 auto;
    padding: 0.2em 0 0 0;
}

ul#elsewhere li {
    display: inline;
}

ul#elsewhere li+li {
    margin: 0;
    padding: 0 0 0 1em;
}

ul#elsewhere a {
    text-decoration: none;
    border: 0;
}

div.footer {
    margin: 60px auto;
    vertical-align: middle;
    padding: 20px;
}

div.sig {
    width: 150px;
    height: 150px;
    background-image: url('/img/sig.jpg');
    background-repeat: no-repeat;
    background-position: bottom center;
    margin: 0 auto;
    text-align: center;
}

div.sig code {
    background-color: transparent;
    color: rgb(80,120,80);
    -moz-border-radius: 6px;
    -webkit-border-radius: 6px;
}

div.sig span.function {

}

div.sig span.var {

}

div.sig:hover {
    background-image: url('/img/sig-bright.jpg');
}


div.sig:hover code {
    background-color: rgb(1,19,2);
    color: rgb(190,220,190);
}

ul.index-sublinks {
    list-style-type: none;
    padding: 0;
    margin: 0.2em 0 0 0;
    display: inline-block;
}

ul.index-sublinks li {
    display: inline-block;
    margin: 0;
    padding: 0;
}

ul.index-sublinks li+li {
    margin-left: 0.6em;
    padding-left: 0.6em;
    border-left: 1px solid rgb(40,40,40);
}

ul.index-sublinks li a {
    border: none;
}