var hoofdHeight=self.innerHeight?self.innerHeight:(document.getElementById && document.body.clientHeight?document.body.clientHeight:0);
if(!hoofdHeight && screen.availHeight)hoofdHeight=screen.availHeight-120;
var fontHeight;var px140;
if(hoofdHeight>500){fontHeight=12;px140=154}
if(hoofdHeight>540){fontHeight=14;px140=178}
if(hoofdHeight>580){fontHeight=15;px140=190}
document.write('<STYLE TYPE="text/css">\n');
document.write('A.menu,A.menu:visited,A.menu:hover{font-size: '+fontHeight+'px;}\n');
document.write('@media all{.px140{width: '+px140+'px;}}\n');
document.write('</STYLE>');