/*----------------------*\
 | Main CSS style sheet |
\*----------------------*/

/* Elements */
body {
    font-family: Verdana, sans-serif;
    font-size: normal;
    background: #ccffcc;
}

.m, code, pre {
    font-family: 'Courier New', monospace;
    /*font-size: small;*/
}

code, pre {
    background-color: #ffffff;
}

img {
    border: 0;
}

big {
    font-size: larger;
}

/* pseudo-classes */
a:link, a:visited {
    text-decoration: none;
}

a:hover, a:active {
    text-decoration: underline;
}

a:link {
    color: #009900;
}
a:visited {
    color: #006633;
}
a:hover {
    color: #009900;
}
a:active {
    color: #00cc00;
}

/* classes and IDs */
.fantasy {
    font-family: fantasy;
}

.linklist {
    list-style-image: url(images/link.png)
}

#all {
    border: 0;
    width: 100%;
}

#main {
    width: 100%;
}

td.out {
    background-color: #003300;
}

#side a, #bottom a {
    color: #ccffcc;
}

#side img {
    width: 8;
    height: 8;
}

#side span.sideheader {
    color: white;
    font-weight: bold;
}

/* code styling */
.keyword { color: darkblue }
.keyworddark { color: darkblue; }
.midword { color: darkred; }
.midwordlight { color: red; }
.comment { color: darkgreen; }
.commentdoc { color: darkgreen; }
.string { color: red; }
.nestcom { color: green; }
.number { color: blue; }
.fpnumber { color: darkblue; }