@ellie @mcc I did setup some userstyle on github some month ago when selection didn't display anything. I wanted to make the half a pixel wide under the active tab much bolder but I got distracted and forgot about it