div#main {
	margin-left: 50px;
	whdth: 80%;
	background-image: url(menu.gif);
	background-position: left;
	background-repeat: repeat-y;
}

div#menu {
	text-align: left;
	padding-left: 20px;
	height: 300px;
}

#menu dt {
	font-size: 100%;
}

#menu dd {
	font-size: 90%;
}

div#info {
	margin: 20px 0px 0px 160px;
	font-size: 100%;
}

div#info p {
	margin-left: 10px;
	display: inline;
}

pre {
	font-size: 80%;
}