From 6ec8e7800f6a02ebde4738b57dca55c7ef39bc16 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Fri, 1 Apr 2016 05:54:05 -0400
Subject: [PATCH] Fix double-size height of feed add buttons on HiDPI

---
 chrome/skin/default/zotero/itemPane.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/skin/default/zotero/itemPane.css b/chrome/skin/default/zotero/itemPane.css
index a4dcc6a0f..58eba29da 100644
--- a/chrome/skin/default/zotero/itemPane.css
+++ b/chrome/skin/default/zotero/itemPane.css
@@ -84,6 +84,6 @@
 }
 
 #zotero-feed-item-addTo-button .button-icon {
-	margin-right: 5px
+	margin-right: 5px;
 	height: 16px;
 }