body { font-family: Times, Garamond, Georgia, Times New Roman, serif; 
       text-decoration: none; 
       color: black; 
       font-size: 11pt;
       margin-top: 60px;
       margin-right: 80px;
       margin-left: 80px; }
p {  line-height: 14pt;}
a {  text-decoration: none; color: black}
h3.art { margin-top: 20pt; }
a.elink {  text-decoration: none; color: blue }
a.flink {  text-decoration: none; font-weight: bold }
a.plink {  text-decoration: none; font-weight: bold }
a.ilink {  text-decoration: none; font-weight: bold }
a.mlink { text-decoration: none; color: blue; }
a.toclink { text-decoration: none; font-weight: bold; line-height: 16pt; }
a.elink:hover {
	border-bottom:1px solid #000;
	border-top:1px solid #000;
	background: yellow;
}
p.nr, p.lit, p.indent { margin-left: 20px }
p.fntxt { font-size: 8pt; line-height: 9pt }
p.ablhint { font-size: 8pt; line-height: 9pt }
p.footer { font-size: 8pt; line-height: 9pt; margin-top: 80px; text-align: center; }
h1 { font-size: 18pt} 
h2 { font-size: 16pt} 
h3 { font-size: 14pt}