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

Fixes a few UI styling issues for Ubuntu 16.10 (GTK 3.20)

Browse source 
- Tabs missing styling
- Preferences: Notes font menulist dropmarker missing (left border still
  missing, could not find any CSS to help that out)
- Preferences: Numberbox background gray

For the tabs styling issue see
https://bugzilla.mozilla.org/show_bug.cgi?id=1306425
This commit is contained in:
Adomas Venčkauskas 2017-01-03 17:51:08 +02:00
parent 98ab5ac8bf
commit 53d1bca36f
2 changed files with 34 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
chrome/content/zotero-platform/unix/itemPane.css
View file

@ -10,3 +10,12 @@
#zotero-feed-item-addTo-button .menu-iconic-left {
visibility: visible;
}
/* Possibly irrelevant if mozilla fixes https://bugzilla.mozilla.org/show_bug.cgi?id=1306425 */
#zotero-view-tabbox tabs tab[visuallyselected=true] {
margin-top: 0px !important; /* Importanter than ./itemPane.css:20 */
margin-bottom: -2px !important; /* Importanter than skin/itemPane.css:12 */
}
#zotero-view-tabbox tabs tab {
margin-top: 2px !important; /* Importanter than skin/itemPane.css:11 */
}

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

@ -196,3 +196,26 @@ toolbar:not([id="nav-bar"]) #zotero-toolbar-buttons separator {
#zotero-tb-search .textbox-search-icon {
visibility: hidden;
}
/* 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 {
-moz-appearance: none;
border: 1px solid ThreeDHighlight;
}
#zotero-pane tab, #zotero-prefs tab {
-moz-appearance: none;
border-top: 1px solid ThreeDHighlight;
border-right: 1px solid ThreeDHighlight;
border-left: 1px solid ThreeDHighlight;
-moz-border-top-colors: none;
-moz-border-right-colors: none;
-moz-border-left-colors: none;
}
/* Fixes misc Ubuntu 16.10 rendering issue fixes. */
#zotero-prefs menulist dropmarker{
width: 30px;
}
#zotero-prefs .numberbox-input-box{
-moz-appearance: textfield;
}