body {
	color: #000000;
	background-color: #FFFFFF;
	margin-right: 2%;
	margin-left: 2%;
}
h1 {
	padding-top: 1em;
	padding-right: 1em;
	padding-bottom: 0px;
	padding-left: 1em;
	margin: 0px;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #CC3333;
}

h2 {
	padding-left: 0.5em;
	border-bottom-width: 1px;
	border-left-width: 5px;
	border-bottom-style: solid;
	border-left-style: solid;
	border-bottom-color: #CC3333;
	border-left-color: #CC3333;

}
h3 {
	padding-left: 0.5em;
	border-bottom-width: 1px;
	border-left-width: 3px;
	border-bottom-style: solid;
	border-left-style: solid;
	border-bottom-color: #CC3333;
	border-left-color: #CC3333;

}
pre {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	margin-left: 1em;
	margin-right: 2em;
	white-space: pre;
	background-color: #e6e6e6;
	color: black;
}
dt {
	font-weight: bold;
	margin-top: 2ex;
	margin-left: 1em;
}
.subtitle {
	margin: 0px;
	padding: 0px;
}
.subcontents {
	padding-left: 1em;
}