/* Navigator */
div.toc {
  background-color: #F0F8FF;
  border-top: 3px solid #404080;
  border-bottom: 3px solid #404080;
}
div.toc p {
  background-color: #F0F8FF;
}

/* Document Body */
div.body h1 {
  background-color: #E4F0F8;
}
div.body h2 {
  background-color: #E4F0F8;
}