jsdifflib: font cleanup
jsdifflib: font cleanup

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 <69d3ebcf5ee4e7f05a50dc23cd96655b730804b4@redhat.com>
Message-Id: <20180228163858.9847-1-69d3ebcf5ee4e7f05a50dc23cd96655b730804b4@redhat.com>
Signed-off-by: Fam Zheng <df9fd617995bad07eac70e27aa3fe5069270e3bd@redhat.com>

patchew-project/patchew,patchew-project/patchew,patchew-project/patchew,patchew-project/patchew,famz/patchew,famz/patchew,famz/patchew,famz/patchew