a:link, a:visited, a:active, a:hover{ color: 444444; font-style: normal;text-decoration: none;cursor: hand;}


body {
 background-color: 888888;
 color:444444;
 font-size:14px;
 font-family:Lucida Console;
}

pre {
 background-color: 999999;
 font-family:Lucida Console;
 font-size:13px;
 padding: 3px;
 width: 700px;
 border-style: solid;
 border: 1px solid #000000;
}

.c1{ color: ffffff; }
.c2{ color: ff0000; }
.c3{ color: ffff00; }
.c4{ color: 0000ff; }
.c5{ color: bb0000; }
.c6{ color: 44dd44; }
.smaller{ font-size:12px; }
hr { color:000000; width: 80%; }

.p{ font-size:12px; }
.subhead { align:center; text-decoration:underline; }