Allow user to change font size in generated HTML.
code polishing