body {
  font-family: verdana;
  font-size: 13px;
  background-color: #F8F8ED;
  color: black;
}

.citation {
  font-size: 11px;
  color: #555;
  text-decoration: none;
  font-style: italic;
}

.caseheader {
  font-weight: bolder;
  color: #333;
}

.purple {
 color: #753B4E;
}

.logo {
  font-family: arial;
  width: 100%;
  background-color: #222;
  color: #eee;
  font-size: 24px;
  padding-top: 10px;
  padding-bottom: 7px;
}

td {
  font-size: 13px;
}

.header {
  font-family: arial;
  font-size: 18px;
}

.cathead {
  font-size: 16px;
  font-weight: bolder;
  letter-spacing: 3px;
  border-bottom-style: solid;
  border-width: 1px;
  border-color: #aaaaaa;
  margin-top: 20px;
  margin-bottom: 10px;
}

.leftmenu {
  margin: 25px;
  text-align: left;
  font-size: 11px;
  color: #405aa6;
}

.leftbig {
  font-size: 13px;
  font-weight: bold;
}


.blurb {
  font-family: Courier New;
  font-size: 13px;
  border-top-style: none;
  border-top-width: 1px;
  border-top-color: #958B9E;
  background-color: #eee;
  padding: 10px;
}

.bottombar {
  font-family: arial;
  font-size: 12px;
  background-color: #eee;
  padding: 7px;
  padding-left: 10px;
  padding-right: 10px;
  color: #555;
}

.insert_header {
  font-size: 12px;
  color: #927886;
  font-weight: bold;
}

.subsmall {
  text-decoration: underline;
}

.inline_box {
  font-size: 12px;
  float: right;
  display: inline;
  margin-left: 5px;
  margin-bottom: 2px;
  border: solid 1px #ccc;
  width: 250px;
  background-color: #eee;
  padding: 4px;
}

a { color: #405aa6; }

a.nav { border-bottom-style: dotted; border-bottom-width: 1px; text-decoration: none; font-size: 11px; color: #405aa6; }
a.nav:hover { border-bottom-style: dotted; border-bottom-width: 0px; text-decoration: none; font-size: 11px;}

a.whitesmall { text-decoration: none; font-size: 10px; color: #eee; }
a.whitesmall:hover { text-decoration: underline; }
a.whitesmall:visited { color: #eee; }

a.top { border-bottom-style: dotted; border-bottom-width: 1px; text-decoration: none; font-weight: bold; font-size: 13px; color: #405aa6; }
a.top:hover { border-bottom-style: dotted; border-bottom-width: 0px; text-decoration: none; font-weight: bold; font-size: 13px;}

div.leftmenu a.top { border-bottom-style: dotted; border-bottom-width: 1px; text-decoration: none; font-weight: bold; font-size: 13px; }
div.leftmenu a.top:hover { border-bottom-style: dotted; border-bottom-width: 0px; text-decoration: none; font-weight: bold; font-size: 13px;}

div.leftmenu a { border-bottom-style: dotted; border-bottom-width: 1px; text-decoration: none; font-size: 11px; line-height: 18px; color: #405aa6; }
div.leftmenu a:hover { border-bottom-style: dotted; border-bottom-width: 0px; text-decoration: none; font-size: 11px; line-height: 18px; }

div.menu0 { width:100%; background: #F8F8ED; padding:0; text-align: center; }
div.menu0 a { display:block; padding: 2px; margin:0; width:100%; color: darkblue; font-size: 15px; }
html>body div.menu0 a {width:auto;}
div.menu0 a:hover {background: #fff; color: darkblue; }

div.menu1 { width:100%; background: #8B959E; padding:0; }
div.menu1 a { display:block; padding: 2px; margin:0; width:100%; color:#fff; font-size: 15px; }
html>body div.menu1 a {width:auto;}
div.menu1 a:hover {background: #D1DFED; color:#fff; }

div.menu2 { width:100%; background: #9F9F8B; padding:0; }
div.menu2 a { display:block; padding: 2px; margin:0; width:100%; color:#fff; font-size: 15px; }
html>body div.menu2 a {width:auto;}
div.menu2 a:hover {background: #EEEED1; color:#fff; }

div.menu3 { width:100%; background: #958B9E; padding:0; }
div.menu3 a { display:block; padding: 2px; margin:0; width:100%; color:#fff; font-size: 15px; }
html>body div.menu3 a {width:auto;}
div.menu3 a:hover {background: #DFD1ED; color:#fff; }