files for the highlighter and test html file