News for hackers. Stuff that matters.

A comment on Tree Style Tabs. Parent comment

Re:Tree Style Tabs by Vinnl on Monday January 07, 2019 @03:11AM (#18843614)
No, extensions cannot do that for now - you have to manually edit your userChrome.css.
[ Parent | on HN ]

There are no comments on this comment yet.