body {	margin-left: 8%;
	margin-right: 8%;
	font-family: times, serif; }

h1,h2,h3,h4,h5 {	color: #990055;
			font-family: arial, sans-serif; }

a:link, a:visited, a:active {	color: #6600CC;
				text-decoration: none; }

span.term {	font-weight: bold;
		font-style: italic; }

span.var {	font-style: italic; }

span.lie {	color: #ff0000; }

pre {		font-family: fixed-width, courier; }