html {
  height:100%;
  width:100%;
}
body {
  margin:0;
  padding:0;
  border:0;
  /* background:#ffffff; */
  height:100%;
  width:100%;
}
div#toc_viewport, div#hdr_viewport {
  position:absolute;
  top:0;
  left:0;
}
div#ftr_viewport {
  position:absolute;
  bottom:0;
  left:0;
}
@media screen
{
  body>div#hdr_viewport, body>div#toc_viewport, body>div#ftr_viewport {
    position:fixed;
  }
}

/* --------------------------------------------------------------------- */
div#inhalt {  z-index:1; }
div#toc_viewport {  z-index:2; }
div#hdr_viewport {  z-index:3; }
div#ftr_viewport {  z-index:4; }

div#hdr_viewport  {
  display:block;
/*right:0px;*/
  height:7em;                        /* HDR HEIGHT DEF!!! */
}
div#ftr_viewport  {
  display:block;
/*right:0px;*/
  /* height:2em; */
}
div#toc_viewport {
  display:block;
  height:100%;
  width:17em; /*250px;*/             /* TOC WIDTH DEF!!! (menu width+1) */
  border-top:7em solid #f1f1f1;      /* HDR HEIGHT dependancy */
}
div#menu   { padding-left:8px; }
div#header { padding:8px 8px 0 8px; }

div#inhalt {
  display:block;
  min-height:100%;
  overflow:auto;

  /* use border instead of margin/padding to work around a bug in 
   * IE(5+6) that results in the top of the scrollbar 
   * being painted over by the right edge of the hdr viewport
  */
  border:0;
  border-top:7em solid #f1f1f1; /* HDR HEIGHT dependancy */
  border-left:17em solid #f1f1f1; /* TOC WIDTH dependancy */
  padding:0px 16px 0px 16px; /* 16px whitespace around the text */
}

/* --------------------------------------------------------------------- */

body, div#hdr_viewport, div#toc_viewport, div#ftr_viewport {
    background:#eeeeee;                           /* fixed */
    /* background:url(wpaper/pergagrau.jpg) #f1f1f1 repeat; *//*  top left */
}

/* add a border to emphasise separation of text from sidebar/headbar */
/* 
 * this could lead to uglyness for non-standard browsers (that 
 * scroll the whole page), so I've left it disabled.
*/
/*
div#hdr_viewport { border-bottom:0.1em solid #cccccc; }
div#inhalt { border-left:17.1em solid #cccccc; }
*/

