4 ms·

For the CSS formatting, that takes a lot of time due to the precise indentation required for manual right-justifying the lines.