if (/Windows/.test(navigator.userAgent)) {
	if (/Firefox/.test(navigator.userAgent)) {
		
		document.getElementById('top_menu').style.paddingTop = "0px"; 
		
		var topSep = document.getElementsByClassName('top_separator');
		
		for (i = 0; i < topSep.length; i++) {
		   topSep[i].style.marginTop = "-3px";
		}
		
	}
} else if(/Safari/.test(navigator.userAgent)) {
	var topSep = document.getElementsByClassName('top_separator');
		
	for (i = 0; i < topSep.length; i++) {
	   topSep[i].style.marginTop = "1px";
	}
}