HTML Encoding for ToC elements

ToC elements with UTF-8 characters were being displayed incorrectly, even though the various encoding configuration  parameters all appeared correct.  This fix simply html escapes the ToC elements.