// Dropdown menus.
	$(document).ready(function() {

		$(".menu li").hover(
			//function() { $("ul", this).fadeIn("fast"); },
			//function() { $("ul", this).fadeOut("fast"); }
			function() { $("ul", this).show(); },
			function() { $("ul", this).hide(); }
		);
	});

	// Menu header items; light up current page.
	$(function(){

		// Light up the current page in the header nav,
		// based on the last component of the pathname.
		// Old red: #da153a
		var paths = window.location.pathname.split("/");
		var curpath = paths[paths.length-1];
		$(".menuheader a[href='"+curpath+"']").css({ "color":"#f1a836", "font-weight":"bold" });

	});