.red {
	color: #FF0000;
}

.small {
	font-size: 80%;
}
#info {
	font-size: 120%;
	border: 3px solid #990000;
	padding: 10px;
	line-height: 200%;
	color: #990000;
}
#info ul {
	list-style-type: disc;
	margin: 0px;
	list-style-position: inside;
}
#info li {
	list-style-type: disc;
}
#pre {
	height: 450px;
	width: 470px;
	overflow: auto;
	margin-bottom: 20px;
	padding-right: 10px;
}
#comment {
	float: left;
	width: 230px;
	margin-right: 10px;
}
.contentsLine {
	margin-bottom: 20px;
	padding-bottom: 20px;
	padding-top: 10px;
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: #999999;
}

h3 {
	color: #444444;
	margin-bottom: 15px;
	margin-top: 0px;
}