a {
	color: inherit;
	text-decoration: none;
}

body	{
	font-family: sans-serif;
	font-size: 112%;
	line-height: 1.5;
	margin: 0em auto;
	max-width: 45em;
	padding: 2em 1em;
}

h1, h2, h3, h4	{
	line-height: 1.2;
	margin-bottom: 0.5em;
	text-align: center;
}
h2, h3	{
	margin-top: 2em;
}

ol, ul	{
	margin-top: 0em;
	margin-bottom: 0em;
}

li	{
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

p	{
	margin-bottom: 0em;
}

.button	{
	color: inherit;
	font-size: 90%;
	font-weight: bold;
	border: 1px solid black;
	border-right: 0px;
	padding: 0.7ex 1.5ex 0.25ex;
}
.button-first	{
	border-top-left-radius: 1em;
	border-bottom-left-radius: 1em;
}
.button-last	{
	border-top-right-radius: 1em;
	border-bottom-right-radius: 1em;
	border-right: 1px solid black;
}
.button-lone	{
	border-radius: 1em;
	border-right: 1px solid black;
}
.active:hover, .selected	{
	background-color: #3d80df;
	color: white;
}

#language	{
	display: inline;
	float: right;
	margin: 0;
	padding: 0;
}
#language li	{
	display: inline;
}

.footnotes	{
	font-size: 80%;
}

.separator	{
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

#footer	{
	color: #888;
	text-align: center;
}