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