1 @import url("MacOSX.css");
7 /* Odd large top padding is needed for Mozilla */
13 * Common toolbar settings
14 * Note that div.toolbar is used for other toolbars besides
15 * #navbar and #actionbar, such as in editpage and removepage
17 div#header, div#footer {
18 background: white url("images/bgpaper8.png");
25 padding-bottom: 0.5ex;
39 border-bottom: 1px solid #b2b2b2;
42 padding-bottom: 0.25ex;
49 border-top: 1px solid #b2b2b2;
50 /* kludge for Mozilla */
63 * c-file-style: cc-mode