Set menubar fontsize to a fixed value.
[matthijs/projects/wipi.git] / static / exodus / css / common.css
index ad7b89d87e80af0987ee1f1808e6a9317f4e90c7..a1bff79a7121f8b62e1c71710f44bd45000cd6b2 100644 (file)
@@ -470,7 +470,7 @@ TD.tip {
        /* Put some spacing between items */
        padding: 0px 5px;
        
-       font-size: +4pt;
+       font-size: 12pt;
        font-weight: bold;
 }