.box {  border-color: #CCCC99 #003300 #003300 #CCCC99; background-color: #CCCCCC; margin-right: 0px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; border: 1px outset; clip:  rect(   )}
P.def {  background-color: #FFCC99; width: 400px; margin-right: 3em; margin-left: 2em; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border: 1px ridge;  ; border-color: #ffffff ridge}
form.highlight {  font-family: "comic Sans MS", Verdana, Helvetica, Arial, sans-serif; color: #6633CC; height: auto; width: 400px; border-style: ridge; border-top-width: medium; border-right-width: medium; border-bottom-width: medium; border-left-width: medium}
.directions {  font-family: "comic Sans MS", Verdana, Helvetica, Arial, sans-serif}
.box2 {  height: auto; width: auto; margin-right: 7em; margin-left: 5em; border: inset; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; margin-left: 2em; background-color: #CCCCFF; border-color: #000000 inset; border-width: 1px 2px 2px 1px; text-align: center; font-family: Logic, Verdana, Helvetica, Arial, sans-serif}
.term {  text-decoration: underline}
.subsection {  line-height: normal; font-weight: bold; text-decoration: underline; text-align: center}
.variable {  font-style: italic; font-weight: bold; color: #993333}
table.display {  background-color: #CCCCFF}
.yellow {  background-color: #FFFFCC}
input {  font-family: Logic}
table.display2 {  background-color: #9999CC}
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; }
table.tableSlate {  background-color: #CCCCFF}
a {  text-decoration: none}
a:visited {  color: #0000FF}
a.green:visited {  color: #006666}
a.green:active { color: #009900}
div {  padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px}
table.Logic {  font-family: Logic; background: #CCCCFF}
.boxShort { border-color: #FF0000 ; background-color: #FFFFCC; width: 325px; margin-right: 0px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; border: #FF0000; border-style: outset; border-top-width: 2px; border-right-width: 2px; border-bottom-width: 2px; border-left-width: 2px}
.box2longer { height: auto; width: auto; border: thin outset; background-color: #FF6666; margin-right: 3em; margin-left: 3em; padding-top: 2px; padding-right: 3px; padding-bottom: 2px; padding-left: 3px; border-color: #FF0000 ridge; text-align: center; font-family: Logic, Verdana, Helvetica, Arial, sans-serif }
div.x {  clip:   rect(   ); padding: 0px 0px; margin: 0px 0px}
.boxNew { border-color: #CCCC99 #003300 #003300 #CCCC99; background-color: #FFFFCC; margin-right: 0px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; border: 1px outset; clip: rect( ) }
.box4 {  background: #FFFFFF; padding: 4px 4px; width: 475px; border: 2px #FF0000 ridge}
body {  background: url(../pix/grid.gif)}
.green {  font-variant: small-caps; color: #006666; background: #FFFFCC}
.borders {  background: #0099CC; border: 2px outset; overflow: auto; clip:       rect(   ); cursor: hand; position: absolute; z-index: 22; left: 256px; height: auto}
.outset {  border: 2px outset; background: #FFFFFF}