var overflowy="";

if (is_ie4up) {
  // overflowy = "overflow-y:scroll;"; 
/*   31-07-08 scroll in auto veranderd om vert. scrollbar weg te krijgen als de inhoud in main gering is        */
  overflowy = "overflow-y:auto;";
}

document.write('<style type="text/css"><!--'+
  '#content {'+overflowy+' }'+ 
  '#content_zondervlucht {'+overflowy+' }'+ 
  ' div.openlink {'+overflowy+' }'+ 
  '--></style>');