Code Editor : hypdoc.sty