/* -*- Mode: Text -*- */

BODY {
  color: black;
  background: #EEEEF8;
}

.title H1, .title H2, .title H3, .title H4, .title H5, .title H6 {
  margin-left: 135px;
  letter-spacing: 3pt;
  font-variant: small-caps;
}

DIV.navbar {
  float: left;
  width: 125px;
  padding-top: 2em;
  padding-bottom: 5em;
}

A.anchor:hover {
  background: #DDDDDD;
  color: black;
}

.navbar A, .navlink A {
  color: #7F0000;
  font-size: small;
}

.navbar A:hover, .navlink A:hover {
  color: #FF0000;
}

.navbar A:active, .navlink A:active {
  background: #EEFFAA;
}

A:hover {
  color: #7F00FF;
}

A:active {
}

.navbar {
  display: block;
  text-align: center;
  font-family: sans-serif;
  font-weight: bold;
}

.navbar P {
  background: #E0E0FF;
  border: thin dotted #7F0000;
}

.navlink {
  text-align: center;
  font-family: sans-serif;
  font-weight: bold;
}

.main {
  margin-left: 135px;
  background: white;
  padding-left: 6pt;
  padding-right: 6pt;
  border: thick solid white;
}

.main A {
  color: #7F0000;
  border: thin dotted #D0D0D0;
  background: #F8F8F8;
}

.main A:hover {
  border: thin dotted #7F0000;
  background: #EEEEFF;
}

.main A:visited {
  color: #3F0000;
}

H1, H2, H3, H4, H5, H6 {
  text-align: left;
  font-family: sans-serif;
}

.main H1, .main H2, .main H3, .main H4, .main H5, .main H6 {
  border-left: thick double black;
  padding-left: 12pt;
}

.footnote {
  display: block;
  text-align: left;
  font-size: small;
  clear: both;
}

.announcement {
  border: thin solid blue;
  padding: 4pt;
  text-align: justify;
  background: #F0F0FF;
}

/* EOF */