www

commit 93643b012ea49d62c04c1c2b4d43a4b2cff6e3af
parent ef1deb36910b84666261f7e508c9b7bb9757a37e
Author: Simon Kornblith <simon@simonster.com>
Date:   Wed, 25 Jan 2012 03:26:10 -0500

Return to 11px bold text

Diffstat:
M
chrome/content/zotero-platform/mac/overlay.css
 | 
18
+++++++++---------

1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/chrome/content/zotero-platform/mac/overlay.css b/chrome/content/zotero-platform/mac/overlay.css
@@ -124,29 +124,29 @@
 	display: none;
 }
 
-#zotero-view-tabbox > tabs > tab {
+#zotero-pane[ignoreActiveAttribute] #zotero-view-tabbox > tabs > tab {
 	-moz-box-orient: vertical;
 	-moz-box-align: center;
 	-moz-appearance: toolbarbutton;
 	-moz-user-focus: none;
 	text-align: center;
 	margin: 0;
-	padding: 0 1px;
-	height: 22px;
+	padding: 1px 1px;
 }
 
-#zotero-view-tabbox > tabs > tab > hbox .tab-text {
-	font: menu;
-	margin: 2px 6px 2px 8px !important;
+#zotero-pane[ignoreActiveAttribute] #zotero-view-tabbox > tabs > tab > hbox .tab-text {
+	font-size: 11px;
+	font-weight: bold;
+	margin: 2px 4px 2px 6px !important;
 	text-shadow: 0 1px rgba(255, 255, 255, .4);
 }
 
 /* This seems to be necessary to center the tabs. Not sure why. */
-#zotero-view-tabbox > tabs > tab:last-of-type > hbox .tab-text {
-	margin: 2px 8px 2px 8px !important;
+#zotero-pane[ignoreActiveAttribute] #zotero-view-tabbox > tabs > tab:last-of-type > hbox .tab-text {
+	margin: 2px 6px 2px 6px !important;
 }
 
-#zotero-view-tabbox > tabs > tab[selected=true] > hbox .tab-text {
+#zotero-pane[ignoreActiveAttribute]#zotero-view-tabbox > tabs > tab[selected=true] > hbox .tab-text {
 	color: #FFF !important;
 	text-shadow: rgba(0, 0, 0, 0.4) 0 1px;
 }