body {
	margin-left: 7%;
}

a:hover{
	text-decoration: underline;
	background-color: #fffca9;
}

a:link {
}

a:visited {
}

a:active {
}

hr.short {
	width: 60%;
	align: center;
}

h1, h2, h3 {
	color: #990000;
	font-family: helvetica;
}

p.intro {
	color: green;
	font-style: italic;
	font-size: 150%;
	margin-left: 4%;
	margin-right: 10%;
}

p.warning {
	color: red;
	font-size: 150%;
	text-indent: -5em;
	margin-left: 5em;
}

p.note {
	color: green;
	font-style: italic;
	margin-left: 1em;
}

div.note {
	color: green;
	font-style: italic;
	margin-left: 1em;
}

code {
	color: maroon;
}

code.example {
	margin-left: 1em;
}

img {
	border-color: black;
	border-width: 3px;
}