.header {
  border-bottom: 1px solid #990033;
  margin-left: 10px;
  margin-right: 10px;
}
.logo {
  margin-left: 95px;
}
.header .title {
  left: 140px;
}
.header a {
  color: #990033;
}
div.center {
  border-right: 1px solid #990033;
  border-left: 1px solid #990033;
  margin-top: 10px;
}
div.left {
  margin-top: 10px;
  border-right: 1px solid #990033;
}
div.right {
  margin-top: 10px;
  border-left: 1px solid #990033;
  padding-left: 5px;
}
.docslist, .docslist li {
  border-color: #990033;
}
.docslist li {
  background-color: #eeeeee;
}
.docslist li.active {
  background-color: #ffffff;
}
.docslist li a {
  color: #990033;
}
.left a {
  color: #990033;
}