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