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, code {	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;}
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;}
