Converted docs toc to html.