body {
	background: white;
	margin: 0px;
	font-family: "Palatino", "Palatine Linotype", serif;
	text-align: justify;
}

a {
	text-decoration: none;
	color: #A00;
}

div#header {
	width: 100%;
	background: #FFA;
	padding: 10px 0px 0px 0px;
	position: relative;
}

div#courselogo {
	position: absolute;
	left: 10px;
	border: 0px;
}

div#courselogo img {
	border: 0px;
	width: 35px;
	height: 35px;
}

div#hendrixlogo {
	position: absolute;
	right: 10px;
	border: 0px;
}

div#hendrixlogo img {
	border: 0px;
	width: 32px;
	height: 32px;
}

div#course {
	padding: 0px 0px 0px 50px;
	margin: 0px 0px 10px 0px;
	font-style: italic;
	font-size: 150%;
	color: #774;
}

div#course i {
	color: #744;
}

div#dept {
	position: absolute;
	font-size: 75%;
	right: 47px;
	top: 10px;
}

div#nav {
	padding: 0px 0px 0px 50px;
	border-bottom: 2px solid black;
	margin-top: -8px;
}

div#navbot {
	clear: both;
}

div#nav ul {
	margin: 0 auto 0 auto;
	padding: 0;
}

div#nav li {
	text-align: left;
	float: left;
	list-style: none;
	font-style: normal;
	font-size: 80%;
	text-decoration: none;
	padding: 5px 10px 5px 10px;
	margin-right: 6px;
	margin-bottom: -2px;

	border: 2px solid black;
	background: #AAA;
	color: #800;
}

div#nav li#sel {
	background: white;
	color: #800;
}

div#nav li#selmain {
	background: white;
	color: #888;
	border-bottom: 2px solid white;
}

div#content {
	clear: both;
	margin: 10px;
}

table.logic td {
	text-align: center;
	padding: 1px 5px;
}

u.not {
	text-decoration: overline
}

code.color b { color: #008; font-weight: bold }
code.color kbd { color: #505 }
code.color tt { color: #055 }
code.color i { color: #050; font-shape: italic }

table.relation { border: 1px solid black }
table.relation td { padding: 0 1ex }
ol.parts li { list-style-type: lower-alpha; }