4 @import url("MacOSX.css");
10 /* Odd large top padding is needed for Mozilla */
17 * Common toolbar settings
18 * Note that div.toolbar is used for other toolbars besides
19 * #navbar and #actionbar, such as in editpage and removepage
21 div#header, div#footer {
22 background: white url("images/bgpaper8.png");
29 padding-bottom: 0.5ex;
43 border-bottom: 1px solid #b2b2b2;
46 padding-bottom: 0.25ex;
53 border-top: 1px solid #b2b2b2;
54 /* kludge for Mozilla */
67 * c-file-style: cc-mode