.txt { font-family: Times; font-size: 1.125em }
ol { margin-left: 2em; padding-left: 0 }
li { padding-bottom: 5px }
p.txt { color: #333333; margin-left: 0.9em; padding-bottom: 1em; line-height: 1.5em }
body a { color: #3333AA;  }
ol a { text-decoration: none }
ol a:hover { text-decoration: underline }
a:visited { color: #875369 }