body { color: #9cc; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular;}
p { color: #9cc; font-size: 12px; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular ; line-height: 18px; }
pre { color: #639c9c; font-size: 1em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
blockquote { color: #525252; font-size: 1em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
h1 { color: #c3c; font-size: 24px; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; font-weight: normal; font-style: normal; line-height: 24px; }
h2 { color: #3cc ; font-size: 18px; font-family: "Trebuchet MS", Arial, Helvetica, SunSans-Regular, sans-serif; }
h3 { font-size: 18px; font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; font-weight: lighter; font-style: normal; line-height: 18px; }
h4 { color: #00008c; font-family: "Times New Roman", Georgia, Times }
h5 { color: #00008c; font-family: "Times New Roman", Georgia, Times }
h6 { color: #00008c; font-family: "Times New Roman", Georgia, Times }
img { background-color: #eee; border: 0px }
ol { color: #00008c; font-size: 1em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
ul { color: #969; font-size: 12pt; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; line-height: 22pt; list-style-type: decimal; list-style-position: inside  ; display: block; }
a { color: #969; font-size: 0.95em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; text-decoration: none }
a:visited { color: #669; font-size: 0.95em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
a:hover { color: #999; font-size: 0.95em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; text-decoration: none }
a:active { color: #906; font-size: 0.95em; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
tr { border: 0 }
.cellcolor { background-color: #708090 }
.rev_type { color: #fff; font-weight: bold; font-size: 1.2em; font-family: "Times New Roman", Georgia, Times }
.g_nav_cellcolor { background-color: #191970 }
.a_type_color { color: #fff; font-weight: bold; font-size: 0.9em; font-family: "Times New Roman", Georgia, Times }