Issue #2: Actually use CSS in generated HTML

Switch to formatSelectionInlineStyle rather than 'fontsize' command.
Note that the sizes are smaller than in the original font-tag based
approach, but CSS font-sizes don't go up to xxx-large.