// screen.js
// some javascript stuff needed to resolve css/browser problems
// written by Klaus-Werner Mueller, All rights reserved.


// browser check
// thanks to http://www.cnjazz.de/jscriptcorner/demo4.htm

ns4=(document.layers)? 1:0
ie4=(document.all && !document.getElementById)? 1:0
ie=(document.all)? 1:0
ns=(document.getElementById && !document.all)? 1:0
mozilla=(navigator.userAgent.indexOf("Gecko")!=-1 && navigator.userAgent.indexOf("Netscape")<0)? 1:0
opera=(window.opera)? 1:0
opera_old=false
if(opera)
{
ie=false; ns4=false; ns=false; mozilla=false
opv=navigator.userAgent.indexOf("Opera",0)
opvers=opv+6
operaversion=parseInt(navigator.userAgent.slice(opvers,opvers+4))
opera_old=(operaversion<7)?1:0
}

// needed for mozilla to use the mouse wheel in content div

function fixScroll(div) {
   if ( mozilla ) {
      var s = div.scrollTop;
      div.childNodes[1].focus();
      div.scrollTop = s;
   }
}

// the layout is designed to work well with resolution 1024x768
// if we have more or less, we have to adjust something a little bit

function adjust_resolution () {
   if ( document.body.clientWidth < 1000 ) {
      document.getElementById("page").style.width = 790 + "px";
      document.getElementById("content").style.width = 560 + "px";
      document.getElementById("tabmenu").style.width = 560 + "px";
   } else {
      document.getElementById("page").style.width = 1000 + "px";
      document.getElementById("content").style.width = 1000 - 230 + "px";
      document.getElementById("tabmenu").style.width = 1000 - 230 + "px";
   }
   if ( document.body.clientHeight >= 500 ) {
      document.getElementById("csslink").style.top = document.body.clientHeight - 60 + "px";
      document.getElementById("validation").style.top = document.body.clientHeight - 60 + "px";
   }
}