* html div.titled-container {
  height: 1%;
}

div.titled-container {
  float: left;
  width: 720px;
  overflow: hidden;
  padding-bottom: 10px;
  padding-top: 20px;
  font-size: 12px;
  background-color: #fff;
}
div.titled-container h1 {
  text-indent: 15px;
}
div.titled-container .intro {
  font-size: 14px;
  font-weight: bold;
  text-align: left;
}
div.titled-container h3 {
  padding-left: 15px;
  margin: 0 0 5px 0;
  font-weight: bold;
  text-align: left;
}
div.titled-container h6 {
  padding-left: 15px;
}
div.titled-container p {
  padding: 5px;
  margin: 0px 12px;
}
div.titled-container p.justify {
  text-align: justify;
}
div.titled-container ul {
  margin: 15px;
  padding: 0 1.75em;
  color: #555555;
}
div.titled-container.rightleft {
  width: 340px;
  float: left;
}
div.subtext {
  padding-top: 7px;
  font-size: x-small;
}
div.maintext {
  font-size: large;
  font-weight: bold;
}
div#sidenavtitle {
  float: left;
  width: 220px;
  margin-top: 20px;
  padding: 0 0 0 0;
  border-right: 1px solid #DDDDDD;
  background-repeat: no-repeat;
  height: 40px;
  background-color: #f5f5f5;
}
div#sidenavtitle h1 {
  text-indent: 5px;
  font-weight: bold;
  font-size: 13px;
  margin: 10px 0px;
}
div#sidenav {
  float: left;
  width: 220px;
  margin: 0;
  padding: 20px 0 0 0;
  border-right: 1px solid #DDDDDD;
  background-repeat: no-repeat;
  height: 100%;
}
div#sidenav h6 {
  text-indent: 15px;
  color: #555555;
}
div#sidenav h6.spacing {
  margin: 0 0 20px 0;
}
div#sidenav h7.spacing {
  margin: 20px 0 20px 0;
}
div#sidenav ul {
  margin: 10px 0 40px 0;
  padding: 0 20px;
  color: #444444;
  list-style: none;
  font-size: 14px;
}
div#sidenav ul li {
  border-bottom: 1px solid #DDDDDD;
}
div#sidenav ul li a {
  display: block;
  padding: 10px 0;
  text-indent: 10px;
  width: 100%;
}
div#sidenav ul li a:hover {
  color: #8D1C1C;
  background-color: #F5F5F5;
}
div#sidenav ul li.selected {
  margin-left: 0px;
}
div#sidenav ul li.first {
  margin-left: 0px;
}
div#sidenav ul li.last {
  margin-left: 0px;
}
div#sidenav ul a.download {
  text-align: center;
}
div#title {
  background-color: #F5F5F5;
  width: 205px;
  height: 20px;
  padding: 10px 0 0 15px;
  margin: 0 0 20px 0;
}
div.message {
  font-size: small;
  margin: 15px 10px 15px 10px;
  text-align: center;
  padding: 15px;
}
div.message ul {
  margin-bottom: 0;
}
div.info {
  border: 2px solid #1a1;
  background: #4f3;
}
div.warn {
  border: 2px solid #fa0;
  background: #fa4;
}
div.error {
  color: #fff;
  border: 2px solid #f11;
  background: #f55;
}
div.not-found {
  color: #fff;
  margin: 10px;
  padding: 10px;
  font-weight: bold;
  border: 2px solid #f11;
  background: #f55;
}
div.rightleft {
  width: 340px;
  float: left;
}

a.external_link {
  font-size: smaller;
}

.floated {
  float: left;
  padding: 10px;
}

.floated-right {
  float: right;
  padding: 10px;
}

.centered {
  text-align: center;
}

.bold {
  font-weight: bold;
}

em.date {
  font-size: smaller;
}