body {font-family: times;}
P    {font-family: times;}
a		{ font-family: times; text-decoration: none;}
a:link		{ color: #336699; }
a:visited	{ color: #336699; }
a:active	{ color: #990000;}
a:hover		{ color: #990000;}
a.index		{ font-family: times; text-decoration: none;}
a.index:link		{ color: #000000;}
a.index:visited	{ color: #000000;}
a.index:active	{ color: #000000; }
a.index:hover		{ color: #990000;}
.times          { font-weight: bold; font-family: times;}
.abc            { font-family: times; color: #990000; font-size: 2em; }
.prose          { text-indent: 2em; text-align: justify; margin: 0.1em 0 5 0; padding: 0pt }