4 ms·

DejaVu Mono is also my preferred monospace font. Have tried some other popular ones but always returned to it.