body
{
	background-color: white;
	color: black;
	font-family: "Bitstream Vera Sans", sans-serif;
}

a:link,
a:visited,
a:hover,
a:active,
a:focus
{
	background-color: white;
	color: #005A9C;
}

a:hover
{
	text-decoration: none;
}

div.back
{
	margin-bottom: 42px;
	text-decoration: none;
}

div.back a:link,
div.back a:visited,
div.back a:hover,
div.back a:active,
div.back a:focus
{
	background-color: white;
	color: #005A9C;
	text-decoration: none;
}

div.back a:hover
{
	text-decoration: underline;
}

h1
{
	background-color: white;
	color: #005A9C;
	font-size: 170%;
	margin-left: auto;
	margin-right: auto;
	width: 700px;
}

p
{
	line-height: 1.7em;
	margin-left: auto;
	margin-right: auto;
	text-align: justify;
	width: 550px;
}

em
{
	font-size: 14px;
}

ul
{
	list-style-type: none;
	margin-bottom: 0;
	margin-left: auto;
	margin-right: auto;
	padding-left: 16px;
	text-align: left;
	width: 550px;
}

li
{
	line-height: 1.7em;
}

span.arrow
{
	background-color: white;
	color: #005A9C;
}

div.help
{
	border: 1px #b0b0b0 dashed;
}

div.help,
div.changelog
{
	margin-left: auto;
	margin-right: auto;
	width: 550px;
}

div.help pre
{
	margin: 10px;
}

div.changelog
{
	border: 0;
}

div.changelog-entry
{
	border: 1px #b0b0b0 dashed;
	margin-bottom: 32px;
	padding: 10px;
}

div.changelog-entry ul.changelog
{
	margin-bottom: 0;
	margin-top: 0;
	text-align: left;
}

div.copyright
{
	font-size: 14px;
	margin-top: 42px;
	text-align: center;
}