Implement more text formatting in HTML output

[mike42]

• Invert colours
• Smaller font B
• Underline
• Upside-down printing
• Reset formatting on initialize

Reference:

• 16

• 14

• 53