Fix firefox UI: codemirror shifted right