<!-- // Stupid offsetHeight hack for #content FF
if (navigator.userAgent.indexOf('Firefox') != -1) {
	content = document.getElementById('content');
}
-->