body {
	background-color: white;
	}
pre {
	color: teal;
	margin-left: 2em;
	}
a	{
	color: red;
	text-decoration: none;
	}
ol	{
	color: black;
	}
h2	{
	margin: 0 0 0.5em 0;
	}
h3	{
	font-weight: bold;
	}

.pane {
	display: none;
	}
.mech	{
	color: red;
	cursor: pointer; cursor: hand;
	border: dotted 1px #ccccff;
	}

#body {
	margin: 0 5%;
	border: none 1px;
	}
#nav {
	text-align: left;
	font-size: x-small;
	font-family: sans-serif;
	float: left;
	width: 13em;
	border: none 1px;
	color: black;
    background-color: #ccccff;
	padding: 1em 0;
	}
#nav .mech {
	color: black;
	padding: 0 1em;
	}
#intro-img {
	float: left;
	width: 150px;
	height: 140px;
	border: 1px none;
	}
#intro-text {
	text-align: left;
	margin-right: 10%;
	}
#main {
	text-align: left;
	}
#man-link a {
	color: black;
	font-weight: normal;
	}
#man-link h1 a {
	font-weight: bold;
	font-size: 18pt;
	}