Yay, a HTML editor!

The grey box below the buttons is editable.
The buttons apply a style to the current selection.