a:link  { text-decoration: none; color: RGB(0,0,192);}
a:visited { text-decoration: none; color: RGB(0,0,192);}
a:active {text-decoration: none;}
a:hover {text-decoration: underline; color: RGB(192,0,0);}
a:dummy {text-decoration: underline; background: RGB(192,192,0); color: RGB(192,0,0);}

.biglabel {font-size: 150%; font-weight: bold;}
.biglabelred {font-size: 150%; font-weight: bold; color: RGB(128,0,0);}
.label {font-size: 125%; font-weight: bold;}
.labelred {font-size: 125%; font-weight: bold; color: RGB(128,0,0);}
.smalllabel {font-size: 100%; font-weight: bold;}
.smalllabelred {font-size: 100%; font-weight: bold; color: RGB(128,0,0);}

.footer {font-size: 75%;}
.control {HEIGHT:36px; font-size: 100%; vertical-align:middle;}
.line {color:RGB(232,232,255); height:2px;}
.nobrtable br {display: none;}

.txtblue {color: RGB(0,0,128);}
.txtred {color: RGB(128,0,0);}
.txtgray {color: RGB(164,164,164);}

.txterror{font-size: 150%; font-weight: bold; color: RGB(192,0,0);}
.txtsuccess{font-size: 150%; font-weight: bold; color: RGB(0,192,0);}

p {font-size: 100%;}

span.title {font-weight: bold; font-size: 150%;}
span.navigation {font-size: 100%;}
span.summary {color: RGB(0,0,128); font-size: 100%;}
span.datetime {color: RGB(0,0,128); font-size: 100%;}
span.links {color: RGB(128,0,0); font-size: 100%;}
span.highlight{color: #ff0000}

span.word {font-weight: bold; font-size: 100%;}
span.wordtype {font-size: 100%;}
span.meaning {color: RGB(128,0,0); font-size: 100%;}