Pretty Code Editor in WordPress