BODY         { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; }
.small       { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80% }
.leftsmall   { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; text-align: Left }
.left	     { text-align: Left }
.right	     { text-align: Right }
.rightsmall  { font-size: 80%; text-align: Right }
.centersmall { font-size: 80%; text-align: Center }
.center      { text-align: Center }
.warning     { color: #FF0000; }
.title       { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold; margin-top: 12px; }
.code        { font-family: Courier; font-size: 90%; margin-left:24; margin-top:12; margin-bottom:12; }
.remark      { margin-left:30; font-size: 80% }
.fphead      { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold }
p            { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; text-align: Justify; margin-top: 6; margin-bottom: 0 }
p.foot       { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; text-align: Center; margin-bottom: 0 }
ol           { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; text-align: Left; margin-top: 6px }
li           { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; text-align: Left; margin-top: 6px }
h1           { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 120%; color: #000080; margin-top: 8; margin-bottom: 18 }
h2           { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold }
h3           { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080 }
h2.ISO       { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold; margin-top:12; margin-bottom:6;  }
.sourceh     { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; color: #000080; font-weight: bold; margin-top: 8; margin-bottom: 2; }

a:visited    { color: #0000FF }
a:link       { color: #0000FF }
a:hover      { color: #FF0000 }

a.fp:visited    { color: #000080 }
a.fp:link       { color: #000080 }
a.fp:hover      { color: #FF0000 }

a.tmenu:Visited { color: #FFFFFF; text-decoration: none; font-weight: bold; }
a.tmenu:Link    { color: #FFFFFF; text-decoration: none; font-weight: bold; }
a.tmenu:hover   { color: #FFFFFF; text-decoration: underline; font-weight: bold }
a.tmenu:Focus   { color: #FFFFFF; text-decoration: none; font-weight: bold; }
a.tmenu:Active  { color: #FFFFFF; text-decoration: none; font-weight: bold; }

table        { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; }
td, th       { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 100%; text-align:left }
.navb1       { background-color: #C0C0C0; }
.navb2       { background-color: #C0C0C0; }
.cont        { background-color: #FFFFFF; }
.menu0       { background-color: #AAAAAA; }
.menu1	     { background-color: #C0C0C0; }
.tmenu0      { background-color: #111111; }
.tmenu1	     { background-color: #555555; }
.tmenu1right { background-color: #555555; text-align: Right; }
.colright    { background-color: #EEEEEE; }
table.source { background-color: #F7EBC6; margin-top:12; margin-bottom:12; }
td.source    { background-color: #F7EBC6; }
td.count     { background-color: #F7EBC6; }



hr { border: none; border-top: 1px solid gray; color: #FFFFFF; background-color: #FFFFFF; height: 1px; }


PRE.LIST     { background: #F7EBC6; border: 1ex solid #AAAAE6; padding: 1ex; }
PRE.SNIP     { background: #F7EBC6; padding: 1ex; }
PRE.CONSOLE  { color: #CCCCCC; background: #000000; font-family: "Courier New,Courier"; padding: 1ex; }
P.NOTE       { background: #F7EBC6; border: 5ex solid #AAAAE6; padding: 1ex; }