2 * $Id: phpwiki.css,v 1.4 2006-02-22 06:51:37 rurban Exp $
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-family: Arial, Helvetica, sans-serif;
17 font-size: 80%; /* The default is too large. But enlarge monospace below */
25 text-decoration: none;
29 h1 { margin: 0; font-size: 140% }
30 pre { font-size: 110% }
36 * c-file-style: cc-mode