// JavaScript Document

var browser = navigator.appName;
var lang_hidden = document.getElementById("lang_hidden").value;

// adjust the menu div when on FF for english language
if((browser.toLowerCase() == "netscape") && (lang_hidden == "en")){
	document.getElementById("menu").style.marginRight = "290px";
}