div#content {
	margin: 10px;
	margin-bottom: 30px;
	font-size: 14px;
}
h1,h2,h3,h4 {
	font-weight: bold;
}
h1 {
	font-size: 200%;
	margin-bottom: 10px;
}
h2 {
	background-color: #f0f0f0;
	border: 1px solid black;
	font-size: 170%;
	margin: 20px 0 10px;
	padding: 7px 5px;
}
h3,p {
	margin-bottom: 3px;
}
h4,p.description {
	margin: 3px 0 0 50px;
	font-size: 14px;
}
h4 {
	margin-top: 4px;
	margin-bottom: 2px;
}
p.value {
	margin-left: 100px;
	font-size: 14px;
}
code {
	font-family: Courier New, Courier, monospace;
}
span.name {
	font-weight: bold;
}
hr {
	border: 1px solid #a0a0a0;
	width: 94%;
	margin: 10px 3%;
}
ul.description {
	list-style: disc inside;
	margin-left: 75px;
	padding: 5px 0;
}
ul.description > li {
	text-indent: 0;
	margin-left: 1em;
}
div#adv > p {
  font-size: 10px;
  text-align: center;
}