body { font-family: Baskerville, Times, serif; font-size: 12pt; margin: 0px; }
a { color: #095684; }
a:visited { color: #808080; }
a:active { color: #FF0000; }
a:hover { color: olive; }
hr { color: #095684; }