Unless I'm mistaken, it's not possible to differentiate text color of hovered ("hot") tabs? For my theming purposes, that would be much appreciated. Hopefully the attached gif will manage to illustrate my request (which is to be able to set a darker text for hovering the left/source pane here):
Proposal (and if accepted, maybe also consider the same for Dest tabs?):
