.blue {  font-weight: bold; color: #000099; line-height: 120%}
.red { font-weight: bold; color: #990000; line-height: 120%}
.bigblue { font-weight: bold; color: #000099 ; font-size: 150%; line-height: 120%}
.bigred { font-weight: bold; color: #990000; font-size: 150% ; line-height: 120%}
.comment {  font-size: 80%; color: #003333}
p {  line-height: 120%; margin-left: 2em; margin-right: 2em}
.blue2 { font-weight: normal; color: #990033; line-height: 120% ; font-size: 90%}
h2 {  line-height: 3em; color: #000099}
h1 {  color: #000066}
.margin {  margin-left: 3em}
dl { line-height: 120%; margin-left: 2% }