diff --git a/chrome/content/zotero/preferences/preferences.xul b/chrome/content/zotero/preferences/preferences.xul
index a29c2b9951..b811793e9b 100644
--- a/chrome/content/zotero/preferences/preferences.xul
+++ b/chrome/content/zotero/preferences/preferences.xul
@@ -41,8 +41,7 @@ To add a new preference:
 
 -->
 <prefwindow id="zotero-prefs" title="&zotero.preferences.title;" onload="init()" onunload="Zotero_Preferences.onUnload()"
-		windowtype="zotero:pref" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
-		style="min-height: 600px">
+		windowtype="zotero:pref" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
 	
 	<prefpane id="zotero-prefpane-general"
 						label="&zotero.preferences.prefpane.general;"
diff --git a/chrome/content/zotero/preferences/preferences_firefox.xul b/chrome/content/zotero/preferences/preferences_firefox.xul
index e947209eb4..9089690edc 100644
--- a/chrome/content/zotero/preferences/preferences_firefox.xul
+++ b/chrome/content/zotero/preferences/preferences_firefox.xul
@@ -101,7 +101,7 @@ To add a new preference:
 			<groupbox flex="1" id="proxyGroup">
 				<caption label="&zotero.preferences.proxies.configured;"/>
 				
-				<tree flex="1" id="proxyTree" hidecolumnpicker="true" rows="6" seltype="single"
+				<tree id="proxyTree" hidecolumnpicker="true" rows="6" seltype="single"
 						ondblclick="showProxyEditor(this.currentIndex)" onselect="document.getElementById('proxyTree-delete').disabled = undefined"
 						onkeypress="if (event.keyCode == event.DOM_VK_DELETE) { deleteProxy(); }">
 					<treecols>