A { text-decoration: none; color:#0075BC;}

A:link { text-decoration: none;}

A:visited { text-decoration: none;}

A:hover {text-decoration: underline;}

body, div, p, td, ul, ol { font-family: Helvetica,Arial; font-size: 11pt;}

input, small { font-family: Helvetica,Arial; font-size: 8pt;}

textarea { font-family: Helvetica,Arial; font-size: 10pt;}

div#core {width:452px; height:464px; padding:1px 1px;background:#888888; margin: 0 auto;}
div#cori {width:450px; height:462px; padding:0px 1px;background:#FFFFFF; margin: 0 auto;}

// http://www.w3schools.com/Css/css_colors.asp

span {font-size: 10pt; margin: 8pt; color:yellow;}  /* default */

span.xxx  { font: 12px arial, helvetica, sans-serif; }

span.defs { font-size: 9pt; color:#000000;}

span.def  { font: 14px; color:#000000;}


span.tabs {font-family: arial; font-size:10pt;}
td.tabs {font-family: arial; font-size:10pt;}
span.cat1 {color:#0000FF;} /* blue     */
span.cat2 {color:#FF00FF;} /* fuschia  */
span.cat3 {color:#DD4400;} /* ...      */
span.cat4 {color:#9900FF;} /* magenta  */
span.cat5 {color:#006600;} /* green    */
span.cat6 {color:#FF5500;} /* orange   */
span.cat7 {color:#660000;} /* brown    */
span.cat8 {color:purple;} 
span.cat9 {color:#000000;}  /* black - uncategorized       */
span.cat10 {color:#FF0000;} /* red - question category (?) */
span.cat11 {color:#00FF00;} /* green - special category(!) */

div.vocab { font: 12px arial, helvetica, sans-serif; background-color: #FFFFBB; border-style:solid; border-width: 1px; border-color:#0000FF; }
td.closew { font: 9px arial, helvetica, sans-serif; background-color: #FFFF00; border-style:solid; border-width: 1px; border-color:#000000; }
table.search { font: 12px arial, helvetica, sans-serif; background-color: #FFFFEE; border-style:solid; border-width: 2px; border-color:#0000FF; }
table.searchcol { font: 12px arial, helvetica, sans-serif; background-color: #FFFFEE; border-style:solid; border-width: 0px; border-color:#0000FF; }
table.keys { font: 12px arial, helvetica, sans-serif; background-color: #FFFFBB; border-style:solid; border-width: 1px; border-color:#0000FF; }
td.key1 { font: 14px arial, helvetica, sans-serif; background-color: #FFFFBB; border-style:solid; border-width: 1px; border-color:#0000FF; }