Added CTF support to HTML output