www

commit 6bce6b1d30df4f1d5075592c9826fcfd55b5f71c
parent 1ecc53b099bb96a5176843fe3a1f0f790e5d6924
Author: Simon Kornblith <simon@simonster.com>
Date:   Fri,  7 Aug 2015 19:45:49 -0400

Alter quick format dialog appearance on OS X

Firefox no longer supports transparent windows because it made them do
extra preprocessing on a file to restore the drop shadow when the
Developer Edition theme was active:
https://bugzilla.mozilla.org/show_bug.cgi?id=1162649

Diffstat:
M
chrome/content/zotero-platform/mac/integration.css
 | 
14
++++++++------
M
chrome/content/zotero/integration/quickFormat.js
 | 
4
+++-

2 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/chrome/content/zotero-platform/mac/integration.css b/chrome/content/zotero-platform/mac/integration.css
@@ -20,23 +20,21 @@ body[multiline="true"] {
 #quick-format-search[multiline="true"] {
 	padding: 1px 2px 0 18px;
 	border: 1px solid rgba(0, 0, 0, 0.5);
-	border-radius: 10px;
 	-moz-appearance: none;
 }
 
 #quick-format-search:not([multiline="true"]) {
-	height: 22px !important;
+	padding-top: 2.5px;
+	height: 30px !important;
 }
 
 #quick-format-entry {
 	background: -moz-linear-gradient(-90deg, rgb(243,123,119) 0, rgb(180,47,38) 50%, rgb(156,36,27) 50%);
-	-moz-border-radius:15px;
-	border-radius:15px;
-	padding: 10px;
+	padding: 15px;
 }
 
 #zotero-icon {
-	margin: -1px 0 0 -13px;
+	margin: -2.5px 0 1px -13px;
 }
 
 #quick-format-search[multiline="true"] #zotero-icon {
@@ -94,4 +92,8 @@ panel button:hover:active {
 
 panel button:-moz-focusring {
   box-shadow: 0 0 1px -moz-mac-focusring inset, 0 0 4px 1px -moz-mac-focusring, 0 0 2px 1px -moz-mac-focusring;
+}
+
+body {
+	font-size: 13px;
 }
 \ No newline at end of file
diff --git a/chrome/content/zotero/integration/quickFormat.js b/chrome/content/zotero/integration/quickFormat.js
@@ -51,7 +51,9 @@ var Zotero_QuickFormat = new function () {
 			io = window.arguments[0].wrappedJSObject;
 			
 			// Only hide chrome on Windows or Mac
-			if(Zotero.isMac || Zotero.isWin) {
+			if(Zotero.isMac) {
+				document.documentElement.setAttribute("drawintitlebar", true);
+			} else if(Zotero.isWin) {
 				document.documentElement.setAttribute("hidechrome", true);
 			}