Changed htmlized code to 10pt font (from 8)