addLoadEvent(check_browser);
function check_browser(){
	if (navigator.userAgent.indexOf("Firefox")!=-1){
	var change_links_margin_top= document.getElementById("link_container").style.marginTop="19px";
}
}