From 81a75d79be608da0984c308c21eed067b9389c52 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Thu, 8 Mar 2018 19:38:39 -0500
Subject: [PATCH] Keep PDF handler menulist the right size

---
 chrome/content/zotero/preferences/preferences_general.xul | 2 +-
 chrome/skin/default/zotero/preferences.css                | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/chrome/content/zotero/preferences/preferences_general.xul b/chrome/content/zotero/preferences/preferences_general.xul
index 86bd25e64..1233e6390 100644
--- a/chrome/content/zotero/preferences/preferences_general.xul
+++ b/chrome/content/zotero/preferences/preferences_general.xul
@@ -122,7 +122,7 @@
 			
 			<hbox align="center">
 				<label value="&zotero.preferences.fileHandler.openPDFsUsing;" control="file-handler-pdf"/>
-				<menulist id="fileHandler-pdf">
+				<menulist id="fileHandler-pdf" class="fileHandler-menu">
 					<menupopup>
 						<menuitem id="fileHandler-custom"/>
 						<menuitem label="&zotero.preferences.fileHandler.systemDefault;"
diff --git a/chrome/skin/default/zotero/preferences.css b/chrome/skin/default/zotero/preferences.css
index 9b9eeed93..c9735336a 100644
--- a/chrome/skin/default/zotero/preferences.css
+++ b/chrome/skin/default/zotero/preferences.css
@@ -83,6 +83,10 @@ grid row hbox:first-child
 	margin-left: .75em;
 }
 
+.fileHandler-menu .menulist-icon {
+	height: 16px;
+}
+
 /*
  * Sync pane
  */