On 2016-05-23 12:38, qznc wrote:
Mixing fonts is hard. Both fonts must have the same size, but also the
same x-height , which is the height of lowercase letters like x. This
can be seen very clearly with inline code like "contain a
<code>dub.json</code>" at the page you linked to. Zoom in (Ctrl+) and
you see the height difference between "a" and "u".
On websites where fonts are picked from whatever is available on the
system, this is nearly impossible to get right. You either live with it
or embed your own fonts via CSS, which bloats the page.
A start is to use the same font size ;)