div#output {
	padding: 1em;
	border: medium solid maroon;
	}

div#output p {
	margin: 0;
	font-family: "Courier New", Courier, monospace;
	}

.pass {
	color: green;
	background-color: white;
	}

.fail {
	color: red;
	background-color: white;
	}

.maybe {
	color: purple;
	background-color: white;
	}

.omit {
	color: yellow;
	background-color: red;
	font-weight: bold;
	}

.header {
	font-weight: bold;
	}