On version 138.0a1 (2025-03-25), the hover effect on vertical tabs is almost unusable. In fact, if you have different groups of tabs, open or closed, and tabs outside a group, you sometimes get an offset of some pixels, and lose the focus you had whe...
