4 ms·

Shrinking tabs are awful, though, when you keep 500 to 1500 tabs open. Not that I'd do something like that..