Post sources are made from BBCode, not HTML. Allowing users to enter raw HTML poses several security risks, and preventing that would require a lot of filtering and other nuisances.
You can edit the BBCode source, by clicking the 'Use BBCode Editor' button at the top right of the editor.