@charset "utf-8";
/* CSS Document */

body
{
        background-color: #CCC;
        font-size:12pt;
        font-family:"Courier New", Courier, monospace;
        color:#000;
        padding: 0;
        width: 51em;
        margin-right: auto;
        margin-left: auto;
}

pre
{
        position:relative;
        border: .2em outset #999;
        background-color: #FFF;
}

.RDNav
{
        margin-top: 0.7em;
}

.RDNav li
{
        font-family: Verdana, Geneva, sans-serif;
        font-size:smaller;
        display: inline;
}

a
{
        text-decoration: none;
}

a:visited
{
        color:#C0C;
}
a:hover
{
        color:#F00;
}

.uline
{
        text-decoration:underline;
}