window.onload = initPage;


function initPage() {

	/* Hack for IE as it needs an explicit width on block <a>'s and thinks 5 * 20 is > 100 */
	if( navigator.appName == "Microsoft Internet Explorer" ) {
		var sitenav = document.getElementById( "sitenav" );

		var listitems;

		listitems = sitenav.getElementsByTagName( "li" );

		var i;

		for( i = 0; i != listitems.length; ++ i ) {
			listitems[ i ].style.width="19%";
			listitems[ i ].firstChild.style.width="95%";
		}

	}
}