Updated codemirror css to 3.13