p.def {  width: 375px; margin-right: 2em; border: inset; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; margin-left: 2em; background-color: #CC99CC; border-color: #000000 inset; border-width: 1px 2px 2px 1px}
.box {  background-color: #CCCCFF; width: 400px; margin-right: 9px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; border-style: inset; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}
.term {  text-decoration: underline}
.boxLogicFont { background-color: #FFCCCC; width: 400px; margin-right: 9px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; font-family: Logic; border-style: ridge; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}
.indent {  border: 1px outset; background: #dddddd; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; width: 95%; margin-left: 10px}
.display {  background-color: #999999; clip:   rect(   ); border: 1px inset; padding: 1px 1px 2px}
.variable {  font-style: italic; font-weight: bold; color: #000066}
input {  font-family: Logic}
a {  text-decoration: none}
.subsection {  font-style: italic; font-weight: normal; text-align: center; text-decoration: underline}
a:visited {  color: #0000CC}
.box2 { background-color: #FFCCCC; width: 400px; margin-right: 9px; margin-left: 9px; padding-top: 3px; padding-right: 3px; padding-bottom: 3px; padding-left: 3px; font-family: Logic; border-style: inset; border-top-width: 1px; border-right-width: 2px; border-bottom-width: 2px; border-left-width: 1px}
body {  background: url(pix/grid1.gif)}
box3 { padding-top: 5px; width: 400px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; margin-right: 2em; margin-left: 1em; border: 2px #FF0000 ridge; border-color: #FF0000 ; background-color: #FFFFFF; }
.boxInterp {  background: #FFFFFF; border: thin #FF0000 ridge; border-width: thin ; border-color: #FF0000 }
.subLinks {  background: #dddddd; padding: 1px 1px; border: 1px solid; width: auto}
.mainTable {  background: #eeeeee; padding: 3px 3px; border: 1px inset; border-color: black #dddddd #dddddd black; width: 525px}