1 @import url(../default/phpwiki.css);
7 /* ivory #ffe #fffff0*/
9 /* background: #000099; */
10 font-family: Arial, Helvetica, sans-serif;
11 font-size: 80%; /* The default is too large. But enlarge monospace below */
12 /*margin: 1.5ex 1em; */
18 div#navbuttons a.wikiaction, div#navbuttons a.wikiadmin {
19 background-color: #dddddd;
21 -moz-appearance: none;
22 -moz-box-sizing: content-box;
23 -moz-border-radius: 0;
27 text-decoration: none;
48 * c-file-style: cc-mode