* Sets the default font size to 12pt instead of 14px. 14px is approximately 7
lines per inch at 96dpi, and too small. It's like the fine print in a legal
contract. 12pt is 6 lines per inch and a more reasonable default size.
* Adds missing semicolon separators at the end of css style attributes.
