h1 {
	text-align: center;
	font-family: Georgia, "Times New Roman", Times, serif;
	border-bottom-style: solid;
	border-bottom-width: 1px;
}

p {
	font: small "Lucida Grande", Lucida, Verdana, sans-serif;
	line-height: 130%;
	text-align: justify;
	margin-bottom: 12px;
	margin-top: 0;
}

body {
	width: 85%;
	margin-left: auto;
	margin-right: auto;
}

h2 {
	font-family: "Courier New", Courier, mono;
	margin-top: 16px;
	margin-bottom: 12px;
	border-bottom-style: solid;
	border-bottom-width: 1px;
}

div#footer {
	clear: both;
	width: 100%;
	text-align: center;
	float: none;
	border-top-style: solid;
	border-top-width: 1px;
	padding: 0;
	margin: 0;
}

#footer p {
	text-align: center;
	font-size: x-small;
	padding-top: 4px;
}

p.code {
	margin-left: 1em;
	font: small Courier, "Courier New", mono;
}

code {
	font: small Courier, "Courier New", mono;
}

div {
	width: 48%;
}

div#intro {
	float: left;
}

div#downloads {
	float: right;
}

div#installation {
	float: right;
}

div#why-public-domain {
	float: left;
	clear: left;
}