#right_side {
  margin-top : 98px;
}

.main_title {
  right      : -95px;
}

.toc {
  margin-top : 1em;
}

/* special style for adding black left margin to Schenk menu item, when it    */
/* was the only item on the second line of the menu. "lmi" = left menu item */

.top_menu_right .lmi_special a {
  border-left : 2px solid black;
}





.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 {
}

.other_panel {
  text-align :left;
  margin-bottom : 1em;
}

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

.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;
}