$(document).ready(function() {
	
   //Firefox's box model is funky.
   if (navigator.userAgent.indexOf("Firefox") > 0) {
	      document.getElementById('nav_list').style.marginTop = '9px';
   }
	   
   setTimeout(setTitle, 10);
});

function setTitle() {
	var title, level = 1;
	while (!title && level < 4) {
		title = $("#main h" + level + "").text();
		level++;
	}
	if (title) {
		document.title = document.title + ": " + title;
	}	
}