projects
/
matthijs
/
projects
/
wipi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Set menubar fontsize to a fixed value.
[matthijs/projects/wipi.git]
/
static
/
exodus
/
css
/
common.css
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;
/* Put some spacing between items */
padding: 0px 5px;
- font-size:
+4
pt;
+ font-size:
12
pt;
font-weight: bold;
}
font-weight: bold;
}