body {
	margin-left: 5%;
	margin-right: 5%;
	margin-bottom: 50pt;
}

h1 {
	border: 1px solid #0f0f0f;
	background-color : #e0e0e0;
	padding: 4px;
}

h2 {
	border: 1px solid #0f0f0f;
	background-color : #e0e0e0;
	padding: 4px;
}

table {
	border: 1px solid #0f0f0f;
	background-color : #e0e0e0;
	padding: 5px;
}

td {
	padding: 3px;
}

td.no {
	color: red;
}

td.yes {
	color: green;
}

li {
	margin-top: 5px;
}

pre.console {
	border: 5px solid Black;
	background-color : Black;
	color : White;
}