div.titlefont    { font-size:14pt; }
div.titlefont    { line-height:16pt; }
div.bodyfont     { font-size:11pt; }
div.bodyfont     { line-height:15pt; }
div.smallfont    { font-size:9pt; }
div.smallfont    { line-height:11pt; }
div.ssmallfont   { font-size:8pt; }
div.ssmallfont   { line-height:10pt; }

a:link           { color:#0000ff; }
a:hover          { color:#0000ff; }
a:visited        { color:#0000ff; }
a.bgback:link    { color:#ffffff; }
a.bgback:link    { text-decoration:none; }
a.bgback:hover   { color:#ffffff; }
a.bgback:hover   { text-decoration:none; }
a.bgback:visited { color:#ffffff; }
a.bgback:visited { text-decoration:none; }
a.special:link    { color:#ff0000; }
a.special:hover   { color:#ff0000; }
a.special:visited { color:#ff0000; }

div.menuBar,
div.menuBar a.menuButton,
div.menu,
div.menu a.menuItem {
  font-family: "MS Sans Serif", Arial, sans-serif;
  font-size: 8pt;
  font-style: normal;
  font-weight: normal;
  color: #000000;
}

div.menuBar {
  background-color: #e0e0e0;
  border: 2px outset #e0e0e0;
  padding: 4px 2px 4px 2px;
  text-align: left;
}

div.menuBar a.menuButton {
  background-color: transparent;
  border: 1px solid #e0e0e0;
  color: #000000;
  cursor: default;
  left: 0px;
  margin: 1px;
  padding: 2px 6px 2px 6px;
  position: relative;
  text-decoration: none;
  top: 0px;
  z-index: 100;
}

div.menuBar a.menuButton:hover {
  background-color: transparent;
  border: 1px outset #e0e0e0;
  color: #000000;
}

div.menuBar a.menuButtonActive,
div.menuBar a.menuButtonActive:hover {
  background-color: #5050f0;
  border: 1px inset #e0e0e0;
  color: #ffffff;
  left: 1px;
  top: 1px;
}

div.menu {
  background-color: #e0e0e0;
  border: 2px outset #e0e0e0;
  left: 0px;
  padding: 0px 1px 1px 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
}

div.menu a.menuItem {
  color: #000000;
  cursor: default;
  display: block;
  padding: 3px 1em;
  text-decoration: none;
  white-space: nowrap;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  background-color: #5050f0;
  color: #ffffff;
}

div.menu a.menuItem span.menuItemText {}

div.menu a.menuItem span.menuItemArrow {
  margin-right: -.75em;
}

div.menu div.menuItemSep {
  border: 1px inset #e0e0e0;
  margin: 4px 2px;
}
