News for hackers. Stuff that matters.

A comment on Firefox 118. Parent comment

Re:Firefox 118 by jeroenhd on Tuesday September 26, 2023 @11:35AM (#37660908)
Using a different size for elements matching a :hover selector is how a lot of CSS gets this done.

The first result on Google (https://gist.github.com/olmstadfm/d6b4d37219e957d9cdcdb3ec88...) also seems to employ the :hover selector to accomplish hiding the tabs. I don't know how effective this particular script is, but it makes sense to use such a system.

[ Parent | on HN ]
Re:Firefox 118 by syncbehind on Tuesday September 26, 2023 @12:19PM (#37661588)
Haven't had a chance to implement it, but this sounds rad. I never thought to use hover in userchrome.css!

Brilliant! Thank you!

[ Parent | on HN ]