The styling for the line number gutter is different in the diff and normal editor. Let's make these consistent.