From 53d1bca36fa8b1aaf34dd285de3fb487a629a442 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adomas=20Ven=C4=8Dkauskas?= <adomas.ven@gmail.com>
Date: Tue, 3 Jan 2017 17:51:08 +0200
Subject: [PATCH] Fixes a few UI styling issues for Ubuntu 16.10 (GTK 3.20)

- 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
---
 .../content/zotero-platform/unix/itemPane.css | 11 +++++++-
 .../content/zotero-platform/unix/overlay.css  | 25 ++++++++++++++++++-
 2 files changed, 34 insertions(+), 2 deletions(-)

diff --git a/chrome/content/zotero-platform/unix/itemPane.css b/chrome/content/zotero-platform/unix/itemPane.css
index c3b5a82b9..8ee3b4a29 100644
--- a/chrome/content/zotero-platform/unix/itemPane.css
+++ b/chrome/content/zotero-platform/unix/itemPane.css
@@ -9,4 +9,13 @@
 /* Set to hidden in user-agent css for some reason. */
 #zotero-feed-item-addTo-button .menu-iconic-left {
 	visibility: visible;
-}
\ No newline at end of file
+}
+
+/* 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 */
+}
diff --git a/chrome/content/zotero-platform/unix/overlay.css b/chrome/content/zotero-platform/unix/overlay.css
index 0eed70a58..42538d1ab 100644
--- a/chrome/content/zotero-platform/unix/overlay.css
+++ b/chrome/content/zotero-platform/unix/overlay.css
@@ -195,4 +195,27 @@ toolbar:not([id="nav-bar"]) #zotero-toolbar-buttons separator {
 
 #zotero-tb-search .textbox-search-icon {
 	visibility: hidden;
-}
\ No newline at end of file
+}
+
+/* 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;
+}