body {
	background-color: black;
	color: rgb(128, 255, 255);
	font-family: Helvetica, Arial, sans-serif;
	font-style: normal;
	font-variant: normal;
	font-weight: lighter;
	width: 800px }
A:link { color: rgb(128, 128, 255) }
A:visited { color: rgb(64, 64, 192) }
h1.title {
	color: red;
	font-family: Arial, Helvetica, sans-serif;
	font-variant: normal;
	font-style: normal;
	font-weight: normal;
	font-size: x-large;
	text-align: center }

h2.title {
	color: red;
	font-family: Arial, Helvetica, sans-serif;
	font-variant: normal;
	font-style: normal;
	font-weight: normal;
	font-size: large;
	text-align: center }

em.warning {
	color: red;
	font-style: italic;
	font-weight: normal;
}

pre.system {
	color: rgb(0, 128, 255);
}

p.comment {
	font-family: Arial, Helvetica, sans-serif;
	font-variant: normal;
	font-style: italic;
	font-weight: lighter;
	font-size: 9pt }