b {  color: #0000CC}
hr {  color: #009900}
h1 {  font-family: Georgia, "Times New Roman", Times, serif; color: #006633}
.defi {  background-color: #66FFCC}
em {  font-family: Symbol}