#right_side {
  margin-top : 98px;
}

.main_title {
  right      : -95px;
}

.toc {
  margin-top : 1em;
}

.table1 td,th {
  vertical-align : top;
}


.toc_panel {
  float     : left; 
  width     : 260px; 
  text-align :left;
  margin-bottom : 1em;
}

.toc_panel ul {
  margin-left : 1.5em;
}

.toc_heading {
}

.series {
  font-size     : 130%;
  font-weight   : normal;
  margin-bottom : 1em;
  margin-top    : 2em;
}


/* experimental background colour shift for top_menu */

.top_menu li:hover {
  background-color : #e8e8e8;
  text-decoration  : none;
}

.top_menu li a:hover {
  text-decoration : none;
}