/* These rules apply to headings.. */
h1, h2, h3, h4, h5, h6 {
	font-family: serif;
}

h3 {
	font-style: italic;
}

h4 {
	margin-left: 6em;
}

.level4 {
	margin-left: 6em;
}

body {
	/* background-color: rgb(54, 219, 36);*/
	background-color: white;
	width: 60%;
	max-width: 70em;
}

p {
	font-family: sans-serif;
	line-height: 150%;
	margin: 0 2em 0 2em;
	/* text-indent: 3em; */
}

.warning {
	color:red;
	font-family: 'Arial', 'Helvetica', sans-serif;
	font-weight: bold;
}

p.warning {
	border: thin solid black;
	padding: 0 3em 0 3em;
}

hr {
color: #990000;
}