Highlighting the active tab in GNOME terminal

In recent iterations of GNOME terminal, the active tab is nearly indistinguishable from the inactive ones.  That makes it harder to navigate when you’ve got a bunch of terminals open simultaneously. Fortunately, GNOME uses a modified CSS scheme to control theme appearance, and that makes it easy to highlight an active tab. Here’s how. Create (or edit) [...]