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 font-size: 90%; /* The default is too large. But enlarge monospace below */
33 padding-bottom: 0.5ex;
35 border-right: 1px lavender solid;
36 border-bottom: 1px lavender solid;
47 margin: 1.5ex 1em 0 1em;
54 * c-file-style: cc-mode