From: Matthijs Kooijman <matthijs@stdio.flexvps.nl>
Date: Wed, 26 Nov 2008 17:43:43 +0000 (+0100)
Subject: Set menubar fontsize to a fixed value.
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fprojects%2Fwipi.git;a=commitdiff_plain;h=1369fb90e7d6c8f409f7eaf81ff16613e050d153

Set menubar fontsize to a fixed value.

Some version of Firefox didn't like +2pt.
---

diff --git a/static/exodus/css/common.css b/static/exodus/css/common.css
index ad7b89d..a1bff79 100644
--- a/static/exodus/css/common.css
+++ b/static/exodus/css/common.css
@@ -470,7 +470,7 @@ TD.tip {
 	/* Put some spacing between items */
 	padding: 0px 5px;
 	
-	font-size: +4pt;
+	font-size: 12pt;
 	font-weight: bold;
 }