body               { color: #444; font-size: 11pt; font-family: "Courier New", Courier, monospace; line-height: 150%; background-color: transparent; background-image: url(spiral_w.gif); background-repeat: repeat-y; text-align: left }
.center-example { text-align: center }
p   { }
.class { }
td  { font-size: 14px; line-height: 20px }
.pagebody    { background-color: #fff; margin-left: 35px; padding-right: 15px; padding-left: 15px; border: 1px gray }
.pageheader    { background-color: #e9e9e9; text-align: left; padding: 10px; border: solid 1px #c0c0c0 }
.sidebar        { color: #414141; font-size: 11pt; background-color: #ebebeb; padding: 10px; border-width: 3px }
td { }
.terminal      { color: #0f0; font-size: 12px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 150%; background-color: #333; text-align: left; margin-right: 10px; margin-left: 10px; padding: 10px; border-style: solid; border-width: 20px 6px 6px; border-color: #a9a9a9 }
.spamdisp1   { color: #4b0082; font-size: 12px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 16px; background-color: #b0e0e6; text-align: left; margin-right: 30px; margin-left: 30px; padding: 10px; border: dotted 3px }
.spamdisp2  { color: #a52a2a; font-size: 12px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 16px; background-color: #ffdead; text-align: left; margin-right: 30px; margin-left: 30px; padding: 10px; border: dotted 3px #bc8f8f }
h2      { color: black; font-size: 18pt; font-weight: bold; line-height: 150%; padding-top: 5px; padding-bottom: 5px; border-style: none }
h3        { color: black; font-size: 16pt; font-weight: bold; padding-top: 6px; padding-bottom: 6px; border-top: medium none; border-bottom: 1px dashed #808080 }
h4     { color: black; font-size: 14pt; font-weight: bold; text-align: center; border-top: medium none gray; border-bottom: 1px dotted gray }
.table-box { margin-right: 10px; margin-left: 10px; padding: 5px; border: solid 1px #000 }
.box-o-links   { color: #333; background-color: #7fffd4; margin-right: 30px; margin-left: 30px; padding: 10px; border: dashed 1px #008b8b }
.tt       { color: #ff4500; font-size: 11pt; font-weight: bold }
.hilite-yellow { background-color: yellow }
.hilite-green { background-color: #98fb98 }
.hilite-pink { background-color: #ffc0cb }
.pagepointer  { font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; background-color: #98fb98; text-align: center; margin-right: 60px; margin-left: 60px; padding: 8px; border: solid 2px green }
.h4subhead { color: #8b0000; font-size: 15px; font-weight: bold; line-height: 18px; text-align: center; margin-right: 40px; margin-left: 40px; border-top: 1px solid gray; border-bottom: 1px solid gray }
.hilite-gray { background-color: #d3d3d3 }
a.outlink { background: url(outlink3.gif) center right no-repeat; padding-right: 25px;}
a.toolbox { background: url(toollink.gif) center right no-repeat; padding-right: 25px;}
a.newwin { background: url(newwin3.gif) center right no-repeat; padding-right: 25px;}
.outlink { }
.toolbox { }
.newwin { }
a:hover { background-color: #dcdcdc }
.counter { color: #c0c0c0; font-size: 9pt; padding: 2px; border: solid 1px }