body {  font-family: Arial, Helvetica, sans-serif}
.marked {  background-color: #99FF99}
.code {  font-family: "Courier New", Courier, mono; word-spacing: normal; float: left; height: auto; width: auto; margin-top: auto; margin-right: auto; margin-bottom: auto; margin-left: auto; border: #CCCCCC; border-style: solid; border-top-width: thin; border-right-width: thin; border-bottom-width: thin; border-left-width: thin}
.comments {  font-family: Arial, Helvetica, sans-serif; font-style: italic; color: #6699FF}
h1 {  color: #000066}
h2 {  color: #000099}
h3 {  color: #0000CC}