function getElem(id){if(document.getElementById){return document.getElementById(id)}else if(document.all){return document.all[id]}else return null}
function restoreFontSize(){var size=3,pos=document.cookie.indexOf("fontSize=");if(pos!=-1){var end=document.cookie.indexOf(";",pos+9);if(end==-1)end=document.cookie.length;size=parseInt(document.cookie.substring(pos+9,end))};setFontSize(size)}
function setFontSize(size){$("div#font-size-sel li.current").removeClass("current");$("body").css("font-size",(11+size)+"px");$("div#font-size-sel li#size-"+size).addClass("current");document.cookie="fontSize="+size+"; path=/; max-age="+(60*60*24*30)};$(document).ready(function(){restoreFontSize()});