3 ms·

I agree that whitespace is helpful for readability, but the amount of whitespace they're using is overkill.