function browser() {
    if (navigator.userAgent.indexOf('MSIE') >= 0) {
	    subMenuTopMargin = subMenuTopMargin / 2;
    	    subMenuHeightCorrection = 1;
    } else {
	    // Default CSS ist IE, verschieben für FireFox
	    document.getElementById("bottomLine-01").style.top = '697px';
	    document.getElementById("button-08").style.top = '702px';
	    document.getElementById("button-09").style.top = '702px';
	    document.getElementById("button-10").style.top = '702px';
    }
}