div.navbar
{
	position: fixed;
	top: 10px;
	left: 1em;
	padding: 0;
	margin: 0;
	width: 16em;
}

div.navbar h2
{
	margin-bottom: 0;
}

div.navbar a.home
{
	margin: 0.1em;
	color: #8080f0;
	text-decoration: none;
	font-variant: small-caps;
}

div.navbar a.home:hover
{
	color: #a0a0f0;
	text-decoration: underline;
}

div.navbar a.button
{
	display: list-item;
	padding: 0.25em;
	margin-bottom: 1px;
	border: thin solid #4080f0;
	border-right: 0.75em solid #4040f0;
	color: #4040f0;
	background-color: #d0d0d0;
	text-decoration: none;
	font-weight: bold;
	font-variant: small-caps;
}

div.navbar a.button:hover
{
	color: #2020f0;
	background-color: #a0a0a0;
}

div.navbar ul
{
	padding-left: 0;
	margin-left: 0;
	margin-top: 1em;
	width: 14em;
	list-style-type: none;
}

div.navbar li.button
{
	padding: 0.25em;
	margin-bottom: 1px;
	border: thin solid #4080f0;
	border-right: 0.75em solid #4040f0;
	color: #2020f0;
	background-color: #a0a0a0;
	text-decoration: none;
	font-weight: bold;
	font-variant: small-caps;
}