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

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

div.header {
	width: 100%;
	background: #FFFFB0;
	border-bottom: 2px solid black;
	padding: 10px 0px 0px 0px;
	position: relative;
}

a.hendrix {
	position: absolute;
	right: 47px;
	top: 12px;
}

div.header img {
	position: absolute;
	left: 10px;
	border: 0px;
}

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

div.links {
	font-size: 90%;
	position: absolute;
	right: 42px;
	top: 10px;
}

i.number {
	color: #804040;
}

span.tabs {
	padding: 0px 0px 0px 50px;
}

span.tabs a {
	font-style: normal;
	font-size: 80%;
	text-decoration: none;
	padding: 5px 10px 5px 10px;
	position: relative;
	top: -4px;
}

a.tabsel {
	background: #FFFFFF;
	color: #808080;
	border-top: 2px solid black;
	border-left: 2px solid black;
	border-right: 2px solid black;
	border-bottom: 3px solid white;
}

span.tabs b {
	font-weight: normal;
}

span.tabs b a.tab {
	background: #FFFFFF;
	border: 2px solid black;
	color: #800000;
}

span.tabs a.tab {
	background: #A0A0A0;
	border: 2px solid black;
	color: #800000;
}

a.tab:hover {
	background: #E0E0E0;
}

div.header hr {
	display: none;
	height: 0px;
	border: 0px;
}

div.contents {
	margin: 10px;
}

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

u.not {
	text-decoration: overline
}

ol.parts li {
	list-style-type: lower-alpha;
}
