3 ms·
I don't believe this is exposed by default, but playing around with userChrome.css should be able to change it.
by ohgodplsno 5y ago
I don't believe this is exposed by default, but playing around with userChrome.css should be able to change it.