body {
	color: black;
	background: #ffffde;
	font-family: sans-serif;
	margin: 5%;
	line-height: 1.4;
}
p {
	font-size: 12pt;
}
h1, h2, h3, h4 {
	line-height:1.2;
}
a:hover{
	color: #ffffde;
	background: red;
	font-weight: bold;
	#font-size: 120%;
}
a {
	color: red;
}
ul {
	font-size: 150%;
}
pre {
	font: sans-serif;
	width: 100%;
	overflow: auto;
	line-height: normal;
	display: block;
}

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