body {
  font-family: verdana;
  background-color: black;
  color: white;
  font-size: 10pt;
}
.menu {
  font-family: verdana;
  font-size: 12pt;
}
a {
  color: yellow;
  text-decoration: none;
}
a:hover {
  text-decoration: overline underline;
}
h1 {
  font-family: verdana;
  font-size: 16pt;
}
h3 {
  font-size: 12pt;
}
.subheading {
  font-family: verdana;
  font-style: italic;
  font-size: 10pt;
}
.menuHeader {
  font-weight: bold;
  font-size: 13pt;
}
.shortlist {
  font-family: courier new;
  font-size: 10pt;
  width: 100%;
}
.descTitle {
  font-family: courier new;
  font-size: 11pt;
}
.desc {
  font-family: courier new;
  font-size: 10pt;
}
blockquote {
  margin: 5px 0px 25px 10px;  
}
.statslist {
  font-family: courier new;
  font-size: 10pt;
  width: 100%;
}
.positionHeading {
  font-size: 11pt;
  font-weight: bold;
}
/* tr:hover {
  background-color: #800080;
  color: white;
} */
td {
  border: 1px solid black;
}
.odd TD {
  background-color: #151530;    
}
tr.hovered TD {
  /* text-decoration: overline underline; */
  border: 1px solid white;
  background-color: #400040;
  color: white;
}