3 ms·
Before the WX version, we were able to use a GUI to choose the style for the fonts in the tabs (or maybe that was in Tab Mix Plus, which hasn't been ported?). W
by CWuestefeld 9y ago
Before the WX version, we were able to use a GUI to choose the style for the fonts in the tabs (or maybe that was in Tab Mix Plus, which hasn't been ported?). We no longer have that feature.
I was finding that it was hard for me to pick out which tab was active, but found that the extensions options provides a mini-editor for giving CSS to customize its rendering. OK, it wasn't hard to find that - it's just at the bottom of the Options window. But I thought I'd offer my settings, where I render the active tab larger and in a bigger font, and some other changes make it more usable for me. Maybe that will save somebody a few minutes in figuring it out themselves.
.tab.active .label {
font-weight: bold;
font-size: 14px;
}
.tab.active {
height: 26px !important;
}
.tab.unread .label {
font-style: italic;
}
.tab.discarded {
opacity: 0.75;
}
:root {
--tab-height: 20px !important;
}
.tab {
height: var(--tab-height) !important;
}
.tab:not(:hover) .closebox {
display: none;
}
- oblio 9y agoMost likely it was Tab Mix Plus. Nothing in Firefox lets you choose individual fonts for UI components. It's all or nothing: either content or whole UI.