b {  color: #FF0000}
hr {  color: #FF9900}
h1 {  font-family: Georgia, "Times New Roman", Times, serif; color: #0000CC}
.defi {  background-color: #00FFFF}
em {  font-family: Symbol}