Re:Ask HN: What browser extensions are a must-have in 2021?
by jannesan on Wednesday November 24, 2021 @09:04AM
(#29330039)
Could you please post your userChrome.css that you use to achieve this? Looks very neat to me, but I don't know how to configure it.
I also shrink it down when the mouse isn't over it. See the screenshots for mouse out and mouse over look.
Mouse not over tree tabs: https://i.imgur.com/ikQhxTM.png Mouse over tree tabs: https://i.imgur.com/TyRds6V.png
Works well for me.