body {
	font-family: "Trebuchet MS", sans-serif;
}
#ibs {
	float: right;
	border:none;
}
p.title {
	font-size: large; font-weight: bold; text-align: center;
}
h1 {
	font-size: larger;
	margin-bottom: 0.5em;
	color: #5B6FAC;
	background-color: #DDDDDD;
}
p {
	margin-top: 0.5em; margin-bottom: 0.5em; margin-left: 2em;;
}
ul {
	margin-left: 2em;;
}
span.prog {
	font-family: monospace; color: gray;
}
span.rh {
	font-weight: bold;
}