body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 90%;
}
h1 {
	text-align:center;
	font-size:180%;
}
h2 {
	border-bottom:2px solid #CCC;
	margin:1em 0 0.4em 0;
}
h3 {
	margin-bottom:0.4em;
}
p {
	margin:0 0 1em 1em;
	text-align:justify;
}
ol {
	margin:0 0 1.2em 1em;
	padding:0;
	list-style-type:none;
}
ol li {
	margin:0.2em 0;
}
pre {
	font-size:100%;
	font-family:"Courier New", Courier, mono;
	background-color: #CCCCCC;
	border:1px solid #999;
	padding:0.2em 1em;
	margin: 0.4em 0;
	display:block;
	white-space: pre;
	overflow: auto;
}
code {
	font-size:100%;
	font-family:"Courier New", Courier, mono;
	background-color: #CCCCCC;
	border:1px solid #999;
	padding:0.2em;
	white-space: pre;
}
form {
	margin:0 0 0 1em;
}
span.key {
	color: #006600;
}
#install {
	display:none
}
#languages ul {
	display:inline;
	list-style-type:none;
	margin:0;
	padding:0;
}
#languages li {
	display:inline;
	margin:0;
	padding:0;
	vertical-align:bottom;
}
