mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Apply linux tab fixes to all tabs (e.g. tabs in zotero plugins)

Browse source
This commit is contained in:
Adomas Venčkauskas 2017-09-22 13:10:27 +03:00
parent 19447e7b90
commit 42e2f229c0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
chrome/content/zotero-platform/unix/overlay.css
View file

@ -198,12 +198,12 @@ toolbar:not([id="nav-bar"]) #zotero-toolbar-buttons separator {
}
/* Fixes tabs missing styling on (GTK 3.20) Ubuntu 16.10. See https://bugzilla.mozilla.org/show_bug.cgi?id=1306425 */
#zotero-pane tabpanels, #zotero-prefs tabpanels {
tabpanels {
-moz-appearance: none;
border: 1px solid hsla(0, 0%, 0%, 0.2);
}
#zotero-pane tab, #zotero-prefs tab {
tab {
-moz-appearance: none;
border-top: 1px solid hsla(0, 0%, 0%, 0.2);
border-right: 1px solid hsla(0, 0%, 0%, 0.2);