.title {
	font-size: large;
	color: #0000FF;
}
.unnamed1 {
	font-size: 18px;
}
.toc1 {
	color: #0000FF;
	list-style-type: circle;
	list-style-position: inside;
}

.top {
	border-bottom: 2px solid #0000FF;
	background-color: #ffdd00;
	width: 100%;
	height: 50px;
	vertical-align: middle;
}

A {color: #000000; text-decoration: none;}

.menuOld {
	background-color: #F0F0F0;
	border-right: 2px solid #0000FF;
	height: 100%;
}

.menu {
	background-color: #D0D0E0;
}