/****************************************************************
 * This group of style is for the menus part (menu.php file)	*
 * of the pages and texts.	  	  			 		   			*
 ****************************************************************/
<!--
.topmenu {
	font-family: serif,georgia,times;
	padding:0.25em;
	line-height:1.3em;
	text-align: center;
	margin-top: 0em;
	margin-bottom: 0em;
	text-indent: 0em;
	font-size: 90%
}
div.left {
	vertical-align:top;
	float:left;
	width:160px;
	margin:0;
	padding:0em;
}
.leftside_menu {
	font-family: serif,georgia,times;
	font-style: italic;
	text-align: left;
	margin-top: 0.55em;
	margin-bottom: 0em;
	text-indent: 0em;
	width:100%;
	border:0
}
p.leftside_heading {
	font-family: serif,georgia,times;
	font-weight: bold;
	font-size: 150%;
	color: maroon;
	text-indent: 32pt
}
#weekno {
	font-family: serif,georgia,times;
	color: navy;
	font-size: 65%;
	font-style: normal;
	font-weight: normal;
	text-indent: 30pt;
	margin-top: 1em;
}
.menu_section_title {
	color: navy;
	font-size: 80%;
	font-weight: bold;
	text-indent: 25pt;
	margin-top: 0em
}
.menu_section_links {
	font-size: 80%;
	font-style: normal;
	font-weight: normal;
	margin-top: 0em
}
#previous_chapter {
	color: navy;
	font-size: 70%;
	text-indent: 30pt;
	margin-top: 0em
}	
#lastupdate {
	font-size: 65%;
	color:navy;
	text-indent: 4pt
}
A.menu:link {
	color: maroon;
	}
A.menu:hover {
	color: blue;
	font-weight: bold;
	}
A.menu:active {
	color: purple;
	font-weight: bold;
	font-style: italic
	}
A.menu:visited {
	color: teal;
	font-weight: bold;
	font-style: italic;
	}
div.right {
 	vertical-align:top;
	float:right;
	width:120px;
	margin:0;
	margin-left:0pt;
	padding:0em;
}
.right-title {
	margin-top: 1em;
	text-indent: 0em;
	color: navy;
	font-weight: bold
}
-->