Define a much more readable font size

This is handled in a new StyleFilter. This will be the place for all
default CSS changes in the future... and may be someday, some of the
values there will be configurable by the user.