body       { color: #696969; font-size: smaller; font-family: sans-serif; background: white url(/images/background.jpg) no-repeat fixed; margin: 0px }

.indent { padding-left: 10px }

a   { color: blue; text-decoration: none }

.output   { color: black }

.unicode             { font-family: sans-serif }

.alert   { color: green; font-weight: bold; font-size: medium; font-family: Arial; text-align: center }

.message { }

.heading  { font-weight: bold }

.greenhighlight { background-color: lightgreen }

.grayhighlight { background-color: #f3f3f3 }

.small { font-size: smaller }

.darkgrayhighlight  { background-color: #a9a9a9 }