body {	font-size: 10pt;
	font-family: helvetica, arial;
	background-color: #eee;
	line-height: 1.3em;
	margin: 2em 2em;
	}

p, pre { margin-left: 4em; margin-right: 2em; }
p.ann  { font-style: italic; }

ul  { margin-bottom: 0.5em; }
li  { margin-left: 4em; margin-right: 4em; }
h1  { margin: 2em -1em; font-size: 1.5em; }
h2  { margin: 2em 0em; font-size: 1.2em; }
h3  { margin: 1em .5em; font-size: 1em; font-style: italic; }
tt  { color: darkred; font-weight: bold; padding: 0 5px; }
dfn { font-style: italic; }
em  { font-style: oblique; }
i   { color: darkred; }
pre { color: darkred; }
pre { font-size: 10pt; background-color: #ddd; padding: 2em 2em; }
pre { margin-top: 2em; margin-bottom: 2em; }
var { font-weight: bold; }
sup { font-weight: bold; padding: 2pt; }
td  { border-width: 0; border-style: none; }