/* 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_med font_mono tx_dark ninept" */

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

/* for mono, single line menus */

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

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

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