body 		{ font-family: "Helvetica", "Arial", "sans-serif"}
span.level1	{ margin-left: 0px; }
span.level2	{ margin-left: 16px; }
span.level3	{ margin-left: 32px; }

div.list	{ margin-top: 8px; }
span.copyright	{ font-size: small; }