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 ad7b89d87e80af0987ee1f1808e6a9317f4e90c7..a1bff79a7121f8b62e1c71710f44bd45000cd6b2 100644 (file)
--- 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;
 }