body         { font-family: Arial, sans-serif; font-size: 10pt; color: black; 
               background-color: white; width: 600px; margin-left: auto; 
               margin-right: auto }
h1           { text-align: center; font-size: 18pt; font-weight: bold }
h2           { text-align: left; font-size: 14pt; font-weight: bold; 
               border-bottom: thin solid black; margin-top: 1.5em; 
               margin-bottom: 1em }
div.contents p { font-weight: bold; margin-left: 2em; margin-top: .5em; margin-bottom: .5em }
div.contents a:link, div.contents a:visited, div.contents a:active { text-decoration: none }
div.fig-center { text-align: center; font-style: italic }
div.fig-float { float: right; text-align: center; font-style: italic; margin-left: 1em; 
               margin-bottom: 1em }
hr           { margin-right: 70% }
.published   { font-size: 8pt; color: gray }