3 ms·

How do you resize the colored top border?

• wussboy 5y ago
  Yes, I’d love to make the colours big and bold. No more mixing dev and production…
• ohgodplsno 5y ago
  I don't believe this is exposed by default, but playing around with userChrome.css should be able to change it.