5 @import url("phpwiki.css");
18 * Common toolbar settings
19 * Note that div.toolbar is used for other toolbars besides
20 * #navbar and #actionbar, such as in editpage and removepage
22 div#header, div#footer {
23 background: #FFFFF0; /* ivory */
45 border-bottom: 1px solid #b2b2b2;
55 border-top: 1px solid #b2b2b2;
56 /* kludge for Mozilla */
60 p.editdate { margin-bottom: 0.5ex; }
66 * c-file-style: cc-mode