function adjust_ie() {
	if (window.attachEvent) {
		document.getElementById('navEZPagesTop').style.paddingTop = '12px';
		document.body.style.fontSize = '65%';
	}
}