/* @option theme miscellaneous*/

#pageHeader {
	border-top-style: solid;
	border-top-width: 1px;
	border-bottom-style: solid;
	border-bottom-width: 1px;}

#navcontainer {	border-top-style: solid;
border-bottom-width: 1px;}