/**
 * Toggles quick navigation menu content (on/off).
 */
function toggleNavigation()
{
	$("#quick-navigation .content").toggle("slow");
} // toggleNavigation