body
{
   background: #1B254E;
   background: #EEEEEE;
   color: #556FD8; /* brighter? */
   color: #8497E4; /* brighter? */
   color: #333366; /* brighter? */
   font-family: Courier, monospace;
   font-size: 12px;
   font-weight: normal;
}

a
{
   z-index: 10;
}

a:link
{
   color: #8B99C4;
   color: #C8D0F0;
   color: #3333FF;
   text-decoration: none;
   border-bottom: 1px solid #8B99C4;
}

a:visited
{
   color: #8B99C4;
   color: #C8D0F0;
   color: #3333FF;
   text-decoration: none;
   border-bottom: 1px solid #8B99C4;
}

a:hover
{
   color: #8B99C4;
   color: #C8D0F0;
   color: #0000FF;
   text-decoration: none;
   border: none;
}

a.plain
{
   text-decoration: none;
   border-bottom: none;
}

/* Floaty animated stuff. */
span.tempanimation
{
   color: #8B99C4;
   z-index: 1;
}

pre
{
}

pre#base
{
   margin-left: auto;
   margin-right: auto;
   width: 47em;
}

.hidden
{
   display: none;
}

span.object
{
   position: absolute;
}

span#me
{
   top: 10px;
   left: 100px;
   cursor: pointer;
   cursor: hand;
}

div#title
{
   margin-left: auto;
   margin-right: auto;
   width: 47em;
   margin-bottom: -10px;
   margin-top: -20px;
}

span#ruler
{
   border-top: 1px solid;
}

div#content
{
   margin-right: auto;
   margin-left: auto;
   width: 47em;
}


img, object
{
   padding: 1px;
   border: 1px solid #5F75CC;
   margin: 2px;
}

.right
{
   float: right;
}

.clear
{
   clear: both;
}

div.code
{
   border-left: 1px dashed #5F75CC;
   margin-left: 10px;
   padding-left: 10px;
}