a {
	color: #FF5C5C;
}

a:hover {
	color: #666666;
}

body {
	font-family: Arial,Helvetica,sans-serif;
	font-size: 12px;
	margin: 15px;
}

div#diagram {
	margin: 30px 0;
	text-align: center;
}

div#diagram img {
	border: 1px solid #999999;
}

div#footer {
	border-top: 1px solid #000000;
	margin-top: 40px;
	padding-top: 5px;
}

div#footer div {
	padding-bottom: 10px;
}

h1 {
	font-size: 240%;
	margin: 0;
	margin-bottom: 15px;
}

h2 {
	font-size: 150%;
	margin: 0;
	margin-bottom: 5px;
	margin-top: 25px;
}

h3 {
	font-size: 120%;
	margin: 0;
	margin-bottom: 5px;
	margin-top: 10px;
}

img {
	border: 0;
}

p {
	line-height: 1.3;
	margin: 0px;
	margin-bottom: 12px;
}

pre {
	background-color: #EFEFEF;
	border: 1px solid #888888;
	color: #000000;
	font-size: 90%;
	margin: 20px 0;
	padding: 10px;
}

ul {
	line-height: 1.3;
	margin-left: 15px;
	padding-left: 15px;
}