body {
	font-family: sans-serif;
	font-size: 11pt;
	background-color: white;
	color: black;
	margin-left: 2em;
	margin-right: 2em;
}

body.contents {
	padding-left: 0;
	margin-left: 0;
	margin-right: 0;
	width: 30em;
}

div.header {
	border-bottom: 3px solid #36648B;
	height: 100px;
}

div.logo {
	margin-right: 20px;
	float: left;
}

div.logotext {
	font-size: 140%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h1 {
	font-family: sans-serif;
	margin-top: 1em;
	font-weight: bold;
	font-size: 140%;
	color: #36648B; /* SteelBlue4 */
}

h2 {
	font-family: sans-serif;
	margin-top: 1em;
	font-size: 120%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h3 {
	font-family: sans-serif;
	margin-top: 1em;
	font-size: 100%;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

h1.toc {
	font-family: sans-serif;
	padding-top: 0em;
	border-top-style: none;
	margin-top: 1em;
	text-align:left;
	margin-bottom: 0em;
	margin-left: 0%;
	font-weight: bold;
	font-size: 100%;
}

h2.toc {
	font-family: sans-serif;
	margin-top: 0em;
	margin-bottom: 0em;
	font-size: 100%;
	margin-left: 4%;
	font-weight: bold;
}

h1.toc a:link, h2.toc a:link {
	color: #36648B; /* SteelBlue4 */
}

h1.toc a:visited h2.toc a:visited {
	color: #61437D; /* dark purple */
}

pre {
	font-family: monospace;
	font-size: 10pt;
}

div.title {
	text-align: center;
	font-size: 140%;
	font-family: sans-serif;
	font-weight: bold;
	color: #36648B; /* SteelBlue4 */
}

div.note {
	padding-right: 1em;
	padding-left: 1em;
	border-style: solid;
	border-width: thin;
	margin-top: 1em;
	margin-bottom: 1em;
	color: black;
	background-color: #f4f3d1;
}

p.indent {
	margin-left: 4%;
}

li {
	margin-top: 1em;
}

