BrowserDetect.init();
if (BrowserDetect.browser == 'Explorer')
	fix_menu();

function fix_menu() {
	var links = document.getElementById('mainmenu').getElementsByTagName('A');
	for (i=0; i < links.length; i++) {
		if (i < 2)
			p = 16;
		else
			p=5;
		links[i].style.paddingTop = p+'px';
	}
}