Finalized handling source for rich text pages.
Handling headers in HTML. h1 is changed to h2, and so on...
Enlarged source text box.