Gutter pickers are too small if "DejaVu Sans Mono" font is used.

[vidartf]

Running UI-tests locally, I always get a diff showing my local version having much smaller gutter pickers/conflict markers for a merge. I see locally that I end up using the "DejaVu Sans Mono" font via the following computed font-family: menlo, consolas, "DejaVu Sans Mono", monospace sans-serif.

This is how it looks:

We should probably override the font-family setting for the mergeview gutters, such that it avoids this font face? I think the main issue is that I have neither menlo or consolas locally?

Note: This issue precedes the CM6 work, but the UI-tests helped highlight the issue during local dev.