div#header {
  position: fixed;
  top: 0; left: 0; right: 0;
  overflow: hidden;
}
div#toc,div#productmenu {
  top: 82px;
}
div#toc {
  position: fixed;
  bottom: 20px;
  overflow: auto;
  z-index: 1;
  border: 1px solid #a6a5aa;
}
div#fixedbox {
  background: none;
  border: none;
}
div#productmenu
{
  position: fixed;
  height: 20px;
  left: 218px; right: 0;
  padding-left: 8px;
  margin-left: 1px; /* needs to be fixed? */
}
div.error
{
  margin-left: 3px;
}
div#content {
  position: fixed;
  top: 102px; left: 218px; bottom: 20px; right: 0;
  overflow: auto;
  margin-left: 1px; /* needs to be fixed? */
}
div#footer {
  position: fixed;
  left: 0; right: 0; bottom: 0;
}

div#error,div#debug {
  margin-left: 2px;
}