Code Editor : flippdf.sty