body {
	margin: 0 0 0 123px;
	padding: 0 10pt 0 10pt;
	border-left: solid 4px gray;
	font-family: Palatino, Georgia, serif;
}
p {
	line-height: 150%;
	margin: 0;
	text-indent: 3em;
}
p.first {
	text-indent: 0em;
}
ul,ol {
	line-height: 150%;
	margin-left: 0; padding-left: 12pt;  /* http://www.html-faq.com/css/?csslists */
}
hr {
	color: gray;
	padding: 0;
	margin-left: -11pt;
	margin-right: -10pt;
}
span.menu {
	position: fixed;
	left: 0px;
	top: 0px;
	width: 123px;

	margin: 0;
	padding: 0;

	border-top: solid 3px #700;
	border-bottom: solid 4px gray;
	color: #050;
	background: #FFA;
	font-family: Optima,sans-serif;
	font-size: 13px;
}
dl.menu { margin: 3px 0 3px 0; }
dt.menu { margin-left: 0; padding-left: 3pt; }
dd.menu { margin-left: 0; padding-left: 12pt; }

@media print {
	.screen-only {
		display: none;
	}
	body {
		color: black;
		background: white;
		border: none;
		background-image: none;
		margin-left: .5cm;
	}
	span.menu {
		visibility: hidden;
	}
}