4 ms·

But it's so much easier to get your mixed tabs and spaces aligned correctly with a non-monospaced font!