BODY
{
    background-color    : black ;
    color               : white ;
    font-family         : sans-serif ;
}

A:link
{
    color               : yellow ;
    background          : transparent ;
}

A:active
{
    color               : green ;
    background          : transparent ;
}

A:visited
{
    color               : yellow ;
    background          : transparent ;
}

P
{
    text-align          : justify ;
}

P B
{
    color               : #0FF ;
    font-weight         : normal ;
}

.topnav
{
    font-size           : small ;
    border-style        : solid ;
    border-width        : 0 0 1px 0 ;
}

.footer
{
    font-size           : small ;
    border-style        : solid ;
    border-width        : 1px 0 0 0 ;
    margin              : 1em 0 0 0 ;
}

.codeblock
{
    font-family         : monospace ;
    background-color    : #444 ;
    color               : white ;
    border-style        : solid ;
    border-width        : 1px ;
    padding             : 3px ;
    text-align          : left ;
}

.redback
{
    background-color    : #422 ;
}

.pre
{
    white-space         : pre ;
}

.codeblock U
{
    color               : #0FF ;
    text-decoration     : none ;
}

.codeblock KBD
{
    color               : #0FF ;
    text-decoration     : none ;
}

.codeblock B
{
    color               : red ;
    font-weight         : normal ;
}

.codeblock STRONG
{
    color               : red ;
    font-weight         : normal ;
}

.codeblock I
{
    font-family         : sans-serif ;
    font-size           : 80% ;
    font-style          : italic ;
    color               : #C0FFC0 ;
}

.codeblock EM
{
    font-family         : sans-serif ;
    font-size           : 80% ;
    font-style          : italic ;
    color               : #C0FFC0 ;
}

.codeblock I U
{
    font-family         : monospace ;
    font-size           : 125% ;
    font-style          : normal ;
    color               : #0FF ;
}

.codeblock EM KBD
{
    font-family         : monospace ;
    font-size           : 125% ;
    font-style          : normal ;
    color               : #0FF ;
}

.codeblock I B
{
    font-family         : monospace ;
    font-size           : 125% ;
    font-style          : normal ;
    color               : white ;
}

.codeblock EM STRONG
{
    font-family         : monospace ;
    font-size           : 125% ;
    font-style          : normal ;
    color               : white ;
}

.entry
{
    color               : #0FF ;
    display             : inline ;
}

.removed
{
    color               : red ;
    display             : inline ;
}


.footer
{
    font-size           : 80% ;
}

.tiny
{
    font-size           : 75% ;
    border-style        : solid ;
    border-width        : 1px ;
    margin              : 0 0 0 0 ;
    padding             : 1px ;
}

.note
{
    font-size           : 80% ;
    font-style          : italic ;
    border-style        : solid ;
    border-width        : thin ;
    margin              : 0 5% 0 5% ;
    padding             : 3px ;
}

.note U
{
    font-family         : monospace ;
    font-style          : normal ;
    color               : white ;
    text-decoration     : none ;
}

.note TT
{
    font-style          : normal ;
}

.sidenote
{
    font-size           : 75% ;
    color               : #0FF ;
    font-style          : italic ;
}

.divider
{
    border-style        : solid ;
    border-width        : 1px 0 0 0 ;
    font-size           : 80% ;
    font-style          : italic ;
}

.menu
{
    white-space         : nowrap ;
    padding-left        : 10px ;
    font-size           : 75%  ;
}

.mcat
{
    font-weight         : bold ;
    color               : #0FF ;
    padding-left        : 5px  ;
}

.mhead
{
    font-weight         : bold ;
    font-size           : 120% ;
    color               : #0FF ;
    padding-top         : 5px  ;
}

#dropmenudiv {
    background-color    : #111 ;
    position            : absolute ;
    border              : solid white ;
    border-width        : 1px 1px 0 1px ;
    font-size           : small ;
    z-index             : 100 ;
}

#dropmenudiv a {
    background-color    : #111 ;
    font-size           : small ;
    width               : 100% ;
    display             : block ;
    text-indent         : 3px ;
    border-bottom       : 1px solid white ;
    padding             : 1px 0 ;
    text-decoration     : none ;
}

#dropmenudiv a:hover {
    background-color    : #444 ;
}