/* fonts */

.font_serif { font-family: times, serif }
.font_prop  { font-family: verdana, arial, sans-serif }
.font_mono  { font-family: lucida console, verdana, arial, sans-serif }

.bg_light { background-color: #EEEEEE }
.bg_med   { background-color: #AAAAAA }
.bg_dark  { background-color: #000000 }

.tx_dark  { color: #000033 }
.tx_light { color: #c0c0c0 }
.ninept { font-size:  9pt }
.tenpt  { font-size: 10pt }


/* this should be same as "bg_dark font_mono tx_light ninept" */

BODY, TABLE {
  background-color: #000000;
  font-family: lucida console, verdana, arial, sans-serif;
  color: #c0c0c0;
  font-size: 9pt;
  }
A:link    { color: #7777FF; }
A:visited { color: #7777FF; text-decoration:none; }
A:hover   { color: #7777FF; text-decoration:underline; }

/* for mono, single line menus */

.solidborder { border: solid 1px #dddddd; }

A.menu {
  font-family: lucida console, verdana, arial, sans-serif;
  font-size: 9pt;
  color: #999999;
  text-decoration: none;
  }
A.menu:hover {
  text-decoration: underline;
  font-weight: bold;
  color: #ffffff;
  }
A.menu:visited {
  text-decoration: none;
  }

TABLE.menu {
  border-top: solid 1px #dddddd;
  border-right: solid 1px #dddddd;
  }
TD.menu {
  border-left: solid 1px #dddddd;
  border-bottom: solid 1px #dddddd;
  }