/* The default style settings as normally set by style.dm. (They are in
   there so that the image paths are resolved at run-time instead of being
   hard-coded, but this means that they are there for all styles). */

@import url(/images/style.css);


body.bgimage {
   background-image: url("/images/chalk.gif");
 }

div.navbar { background-image: url("/images/bg_green.png"); }
div.divbar { background-image: url("/images/bg_green.png"); }
a.navlink { background-image: url("/images/bg_off.png"); }
a.navlink_sel { background-image: url("/images/bg_green.png"); }
a.navlink:hover { background-image: url("/images/bg_on.png"); }
p.bannertitle {background-image: url("/images/banner_bg.png"); }
p.collectiontitle {background-image: url("/images/banner_bg.png"); }


span.spaceextra {
 padding: 0 ;
 margin: 0 0 0 200px;
}