body {
	padding: 15px; margin: 0;
	color: #333; background: #eee;
	font-family: Tahoma, "Dejavu sans serif", sans-serif;
	font-size: 8pt;
}
h1 {
	font-size: 120%;
}
p#a {
	font-size: 110%;
	font-weight: bold;
}
span.b {
	padding: 2px; margin: 2px;
	display: run-in;
	font-size: 110%;
	background: #ddd;
	color: #555;
	font-weight: bold;
}
span.a {
	display: run-in;
	font-size: 105%;
	color: #555;
	border-bottom: 1px dotted #555;
}
p {
	border-top: 1px solid #ddd;
	border-bottom: 1px solid #ddd;
	padding: 2px; margin: 5px;
	text-align: justify;
	width: 600px;
}
a {
	text-decoration: none;
	color: #000;
}
a:hover {
	border-bottom: 1px dotted #333;
}