// Accessibility
/* change font size */
function changeFontSize(size) { jQuery('*').css("font-size",size+'pt'); }