<!--
	var d = document;

	function oldBrowserMsg(cap)
	{
		window.alert("Your browser is a bit old and might not display this website correctly! (missing capability: '" + cap + "')");
	}

	/*
	 * Returns page's element with specified ID
	 */
	function getElement(id)
	{
		if (d.getElementById) { return d.getElementById(id); }
		else // TODO: use non-DOM method for accessing elements
		{
			oldBrowserMsg("document.getElementById");
		}
	}

	/***  various elements  ***/
	var header = getElement("header");
	var nav    = getElement("nav");
	var subnav = getElement("subnav");
	var main   = getElement("main");
	var right  = getElement("right");
	/**********************/

	/* Returns true if user's browser is Windows IE */
	function isWinIE()
	{
		return (    (d.all)
			     && (navigator.userAgent.indexOf('MSIE')!=-1)
			     && (navigator.userAgent.indexOf('Opera')==-1)
			   );
	}

	/* Changes all elements with "position: fixed" to "position: absolute" */
	function positionFixed2PositionAbsolute()
	{
		if (d.getElementsByTagName)
		{
			var divs = d.getElementsByTagName("DIV");
			for(var i = 0; i < divs.length; i++)
			{ 
				if (divs[i].style.position == "fixed")
				{
					divs[i].style.position = "absolute";
				}
			}
		}
		else { oldBrowserMsg("getElementsByTagName (DOM)"); }
	}

	/*
	 * 
     * (this will also get rid of all window-size-dependent behaviour *sigh*)
	 */
	function scrollbarInMainDiv()
	{
		main.style.margin   = "8px 0 0 0";
		main.style.padding  = "0";
		main.style.left     = "0";
		main.style.width    = "75%";
		main.style.height   = (screen.availHeight-300)+"px";
		main.style.overflow = "auto";
	}

	/*
	 * Check if browser is Windows IE, and in that case:
	 *  (a) work around "position: fixed" problem
	 *  (b) make scrollbar appear inside main DIV
	 */
	if (isWinIE())
	{
		if (header.style) // only works if browser supports [element].style
		{
			positionFixed2PositionAbsolute(); // (a)
			scrollbarInMainDiv();             // (b)
		}
		else { oldBrowserMsg("[element].style"); } 
	}
// -->