function chkBrowser()
{
  /* Es handelt sich also um den IE */
  if(MS == 1) 
    {
      getElem("id","inhalt",null).style.marginTop 	= "20px"; 
      getElem("id","inhalt",null).style.marginRight 	= "10px";
      getElem("id","inhalt",null).style.paddingRight 	= "10px"; 
      getElem("id","inhalt",null).style.marginBottom 	= "0px";   
    }
     
  /* Es handelt sich also um Opera */
  if(OP == 1) 
    {
      getElem("id","inhalt",null).style.marginTop 	= "20px"; 
      getElem("id","inhalt",null).style.marginRight 	= "10px";
      getElem("id","inhalt",null).style.paddingRight 	= "10px"; 
      getElem("id","inhalt",null).style.marginBottom 	= "0px";
    }

  /* ... dann ist es wahrscheinlich Netscape */
  if(NS == 0 && MS == 0 && OP == 0 && DOM == 1) 
    {
      getElem("id","inhalt",null).style.marginTop 	= "20px"; 
      getElem("id","inhalt",null).style.marginRight 	= "10px";
      getElem("id","inhalt",null).style.paddingRight 	= "-5px"; 
      getElem("id","inhalt",null).style.marginBottom 	= "-12px";            
    }
}