2 * We have two possibilities to override the default:
3 * 1. import is ns4 incompatible
4 * 2. add a 2nd css in themeinfo.php
7 @import url(../default/phpwiki.css);
13 /* ivory #ffe #fffff0*/
15 /* background: #000099; */
16 font-family: Arial, Helvetica, sans-serif;
17 font-size: 80%; /* The default is too large. But enlarge monospace below */
18 /*margin: 1.5ex 1em; */
24 div#navbuttons a.wikiaction, div#navbuttons a.wikiadmin {
25 background-color: #dddddd;
27 -moz-appearance: none;
28 -moz-box-sizing: content-box;
29 -moz-border-radius: 0;
33 text-decoration: none;
54 * c-file-style: cc-mode