On Wed, 02/28 17:38, Paolo Bonzini wrote:
Having "Courier" in the font list somehow activates ligatures, which is
a bad idea for a monospaced font. For the headings, Bitstream Vera Sans
(and the extended version DejaVu Sans) is much more similar to Verdana
than Arial and Helvetica. Leave sans-serif as a final fallback, which
will probably be one of Arial/Helvetica/Liberation Sans, but prefer
the clearer Verdana-like fonts.
Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx>
---
static/jsdifflib/diffview.css | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
