branding-fontsize lets users change the size of the font via javascript. ]]> Font size: