/* These are general to various types of documents: */

html {
  width: 100%;
  font-family: "Trebuchet MS", "Arial", "Helvetica", sans-serif;
  font-size: medium;
  color: #000000;
  background: #e0e3ee;
}
body {
  margin: 0;
}
div.doc {
  margin: 2em;
  border: thin solid #b9bbc4;
  padding: 2em;
  background: #ffffff;
}
div.banner {
  margin-bottom: 1em;
  padding: 1em;
  color: #ffffff;
  background: #3D4D97;
}
div.block {
  margin: 2em 1em;
  border: 2px solid #d0d0d0;
  padding: 1em;
  background: #f0e3ee;
}
div.citation {
  margin: 1em 1em 1em 2em;
  border: thin solid #d0d0d0;
  padding-left: 1em;
}
h1, h2, h3, h4 {
  clear: both;
  margin: 0;
  font-family: "Trebuchet MS", "Arial", "Helvetica", sans-serif;
}
h1 {
  font-size: 300%;
}
h2 {
  font-size: 150%;
  color: #3D4D97;
}
h3 {
  font-size: 130%;
  color: #3D4D97;
}
h4 {
  font-size: 110%;
  color: #3D4D97;
}
p {
  margin: .6em 0;
}
p.subtitle {
  margin: 0;
  font-family: "Trebuchet MS", "Arial", "Helvetica", sans-serif;
  font-size: 120%;
  font-weight: bold;
}
p.note {
  clear: both;
  font-weight: bold;
  color: #DC0000;
}
p.bottomlink {
  margin: 1em 0 0 0;
  text-align: center;
}
p.copyright {
  margin: 1em 0 0 0;
  text-align: center;
  font-size: 80%;
}
p.clear {
  clear: both;
}
dl, dt, dd {
  margin: 0;
}
dt {
  margin: .8em 0 .2em 0;
  font-size: 120%;
  font-style: italic;
}
dd {
  margin: .6em 0 0 2em;
}
img {
  border: none;
}
a {
  color: #3D4D97;
}
a.nodec {
  text-decoration: none;
  color: inherit;
}

/* here is a way to stretch divs to cover floated children */
.clearfix:after {
  content: ".";
  display: block;
  clear: both;
  visibility: hidden;
  height: .8em;
}