Make editor slightly less wide, so it fits on IE