HTML tagging complete

HTML tags, source indentation, "back" navigation to table of contents.