function position_navigation() {
	// Browser dependant navigation positioning
	if (navigator.appName.indexOf("Internet Explorer") > -1) {
		document.write("<style> #links { left: 5; top: 95; } </style>");
	} else {
		document.write("<style> #links { left: 40; top: 90; } </style>");
	} // end if
} // end position_navigation