body {
	color: black;
	background: #ffffde;
	font-family: monospace;
	margin: 5%;
	line-height: 1.4;
}
p {
	font-size: 12pt;
}
h1, h2, h3, h4 {
	line-height:1.2;
}
a:hover{
	background: red;
	color: #ffffde;
	font-weight: bold;
	#font-size: 120%;
}
a {
	color: black;
}
ul {
	font-size: 150%;
}
pre {
	font: monospace;
}

.banner {
	background: red;
	font-weight:bold;
	border: 3px solid black;
}