1 /*@charset "iso-8859-1";*/
6 @import url("MacOSX.css");
13 /* Odd large top padding is needed for Mozilla */
20 * Common toolbar settings
21 * Note that div.toolbar is used for other toolbars besides
22 * #navbar and #actionbar, such as in editpage and removepage
24 div#header, div#footer {
25 background: white url("images/bgpaper8.png");
32 padding-bottom: 0.5ex;
46 border-bottom: 1px solid #b2b2b2;
49 padding-bottom: 0.25ex;
57 border-top: 1px solid #b2b2b2;
58 /* kludge for Mozilla */
63 /* For IE5.1Mac, workaround the Mozilla kludge */
76 * c-file-style: cc-mode