Code Editor : typehtml.sty