dt {
	font-weight: bold;
}

#lec {
	margin-bottom: 10px;
	background-color: #F0F0FF;
}

body {
	margin:10px 10px 0px 10px;
	padding:0px;
}
#banner {
	padding: 5px;
	margin-bottom: 10px;
	background-color: rgb(213, 219, 225);
	Color: rgb(0, 0, 255);
	text-align: center;
}

#banner h1, #footer h2 {
	Color: blue;
}

#navbar {
	width: 20%;
	float:left;
	margin-top: 15px;
	padding-top: 10px;
	padding-bottom: 10px;
	color: rgb(64, 64, 64);
	background-color: #80ff80;
	padding-right: 5px;
}

#content {
	margin-top: 15px;
	width: 59%;
	padding-right: 15px;
	padding-left: 15px;
	float: left;
	padding-bottom: 10px;
}

#footer {
	clear: both;
	padding: 5px;
	margin-top: 5px;
	text-align: center;
	font-size: x-small;
}

ul.reading {
}