Thank you for the quick reply.
The same problem occurs with Deja Vu Sans bold (only sans, not sans mono or serif and only if bold).
Thank you for the quick reply.
The same problem occurs with Deja Vu Sans bold (only sans, not sans mono or serif and only if bold).