body {
	margin: 2em 2em 2em 2em;
	font-family: palatino, gentium, "book antiqua", "urw palladio l", serif;
}

em {
	font-style: italic;
}

strong {
	font-weight: bold
}

tt {
	color: navy;
}

a {
	color: blue;
}

a.name {
	color: #527bbd;
}

a:visited {
	color: purple;
}

h1, h2, h3, h4, h5, h6 {
	color: #527bbd;
	margin-top: 1.4em;
	margin-bottom: 0.6em;
	font-family: sans-serif;
	line-height: 1.4;
}

h1 {
	border-bottom: 2px solid silver;
	font-size: 150%;
}

h2 {
	border-bottom: 2px solid silver;
	padding-top: 0.5em;
	font-size: 130%;
}

h3 {
	font-size: 110%;
	border-bottom: 1px solid silver;
}

h4 {
	font-size: 100%;
}

hr {
	border: 1px solid silver;
}

p.warning {
	color: red;
}

p {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

pre {
	padding: 0;
	margin: 0;
}

div#bottom {
	font-family: sans-serif;
	font-size: small;
	border-top: 2px solid silver;
	padding-top: 0.5em;
	margin-top: 2.0em;
}

ul, ol {
	list-style-position: outside;
}