@CHARSET "ISO-8859-1";

BODY {
    font-family: "Courier New", Courier, monospace;
    padding: 0px;
    margin: 0px;
    background-color: Black;
    color: Gray;
}

a:link, a:hover, a:focus, a:active {
    color: White;
}

a:visited {
    color: Silver;
}

#Console {
    overflow: scroll;
    overflow: -moz-scrollbars-vertical;
    height: 400px;
    border: 1px solid Gray;
}

#Console pre {
   display: inline;
}

#CommandLine {
    font-weight: bold;
}

.ConsoleText {
    font-size: 10pt;
    margin: 0px;
    padding: 2px;
    font-family: "Courier New", Courier, monospace;
    color: gray;
    width: 99%;
    border: none;
    background: transparent;
    text-align: left;
}

#PageMenu {
    font-weight: bold;
    font-size: 10pt;
    font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
    text-align: center;
    border-top: 1px solid Gray;
}

address {
    font-weight: bold;
    font-size: 10pt;
}