/* Change page background graphic stripe */

body { background-image: url(../ast/images/bg_astro.gif); background-repeat: repeat-y; }


/* Change page menu background color */

#pagemenu { background-color: #D1E7E8; }


/* Change popup menu background color */

.popupmenu { background-color: #b1d7db; }


/* Change gradient graphic in background/top of main content area */

#maincontent { background-image: url(../ast/images/gradient_astro.jpg);
	background-repeat: no-repeat;
	background-position: 0px 40px;
}


/* Change page menu dotted line under menu items */

.menuitem, .menuitemon { border-bottom-color: #8AC2C7; }


/* Change background color behind third-level menu */

.menuitemsub, .menuitemsubon, #pagemenu ul { background-color: #E9F0CA; }