body {  background: url(pix/cupEmboss.jpg)}
a {color: #0000FF; text-decoration: none }
span.margin a {  background: #FFFFee}
a:visited {  color: blue}
.variable {  font-style: italic; font-weight: bold; color: #FF6666}
.margin {  margin-left: 2em; }
.super {  font-size: small; vertical-align: top}
P.box3 { padding-top: 5px; width: 400px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; margin-right: 2em; margin-left: 1em; border: 2px #666666 ridge; border-color: #FF0000 ; background-color: #FFFFFF; }