body {
	background: #f6f6e2;
	color: #3d4a2e;
}

h1 {
	font-family: Garamond, Palatino, Times, serif;
	font-style: italic;
}

div.sidebar {
	float:left;
	margin: 0 1em 400px 0;
	font-family: humanist, geometric, sans-serif;
}

div.sidebar ul {
	padding: 0;
	margin: 0;
	list-style: none;
}
div.sidebar li {
	margin: 1ex;
	font-size: 140%;
}
div.sidebar span.unimplemented {
	display: none;
}

a:link, a:active, a:visited, a:hover {
	font-weight: bolder;
	text-decoration: none;
}
/* Set different colors for different links */
a:link		{ color: #576942; }
a:visited	{ color: #3d4a2e; }
a:active	{ text-decoration: underline; }
a:hover		{ text-decoration: underline; 
		  text-shadow: .2ex .2ex .3ex;
	}