Code Editor : varioref.sty