blockquote {
	padding: 0.5em;
	background: rgb(170,195,240);
	font-style: italic;
	margin: 1em 0em 1em 0em;
}
body {
	font: sans-serif;
	font-family: sans-serif;
	background: rgb(180,200,230);
}
div.banner {
	right: 2em;
	width: 8.5em;
	left: auto;
	top: 2em;
	position: fixed;
	text-align: center;
	line-height: 1.1;
	font-size: 80% ; font-weight: bold;
	margin: 0;
}
div.banner a, div.banner em {
	display: block;
}
div.banner a:hover {
	background: black;
}
div.banner a:link {
	text-decoration: none;
}
div.banner a:visited {
	text-decoration: none;
}
div.banner p {
	color: white;
	border: thin outset #900;
	background: #900;
	font-family: Arial, sans-serif;
	padding: 0.3em 0.4em;
	margin: 0;
}
div.box {
	border-width: thin;
	border: solid;
}
h1 {
	font-size: 24pt;
	font-family: serif;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
	line-height: normal;
}
h2 {
	font-family: serif;
}
h3 {
	font-family: serif;
}
h4 {
	font-family: sans-serif;
}
h5 {
	font-family: sans-serif;
}
p {
	font-family: sans-serif;
}
p.changed {
	border-color: red;
	border-left-width: thin;
	border-bottom: none;
	border-top: none;
	border-right: none;
	border-left: solid;
	padding-left: 0.2em;
}
pre {
	font-family: monospace;
}
ul {
	font-family: sans-serif;
}