//jQuery

function changeFontSize(inc){
	$("#content, #content .titles *").each(function(i){
		var size = (!inc) ? 11 : parseInt($(this).css("fontSize")) + inc;
		if(size > 8 && size < 20) $(this).css("fontSize", size);
	});
	return false;
}

//Disable selection
$(function(){
	$('ul.resize').
		select(function(){return false;}).
		mousedown(function(){return false;}).
		mouseup(function(){return false;});
});