body
{
	width: 800px;
	margin-left: 20px;
	font-size: 14px;
	line-height: 150%;
}
#title
{
	font-size: 18px;
	font-weight: bold;
	text-align: center;
}
#subtitle
{
	font-size: 18px;
	text-align: center;
}
#author
{
	font-size: 16px;
	text-align: center;
}
#date
{
	font-size: 14px;
	text-align: center;
}
#content
{
	font-size: 14px;
}
h1
{
	font-size: 18px;
	border-left: 20px solid darkblue;
	padding-left: 10px;
}
h3
{
	border-bottom: 1px solid lightgray;
}
.sample
{
	font-family: "Courie New";
	background-color: wheat;
	padding: 4px;
}
.figure
{
	font-family: "Courie New";
	background-color: wheat;
	padding: 4px;
	line-height: 100%;
}
.comment
{
	color: green;
}