body {
	margin:0;
	border-top-style:solid;
	border-top-width:15px;
	border-top-color:#ABC;
}
hr {
	width:50px;
}
p {
	padding-left:20%;
	padding-right:20%;
	font-family:Helvetica, Arial, sans-serif;
	font-size:30px;
	text-align:left;
}
ul {
	padding-top:1em;
	padding-left:22%;
	padding-right:20%;
	font-family:Helvetica, Arial, sans-serif;
	font-size:18px;
}
.hello {
	padding-top:8%;
	color:#888;
}
.section_header {
	color:#444;
	font-size:24px;
	vertical-align:bottom;
	margin-bottom:-1.5em;
}
.small_section_header {
	color:#444;
	font-size:12px;
	vertical-align:bottom;
	margin-bottom:-1em;
}
.description {
	color:#444;
}
.small_description {
	color:#444;
	font-size:22px;
}
.links {
	text-align:left;
	color:#888;
}
.small_links {
	font-size:14px;
	text-align:left;
	color:#888;
}
a {
	text-decoration:none;
	color:#888;
}
a.deprecated {
	color:#CCC;
	text-decoration:line-through;
}