Code Editor : diff_options.html