h1 {  font-size: 36px}
h1 {  letter-spacing: 1em; color: darkblue; margin-left: 1em; text-align: center}
dt {  line-height: 140%}
dt {  font-size: 2ex; font-weight: bold; background-color: #FFFFFF; margin-top: 2ex}
dd {  font-size: 90%}
.mini {  font-size: 80%}
.mtext {  margin-left: 10%; text-indent: 1em}
.big {  font-size: larger}
.square {  font-size: larger; font-weight: bold; color: #FF00FF}
.circle { font-size: larger; font-weight: bold; color: #FF3300}
.cross { font-size: larger; font-weight: bold; color: #0099FF}
.triangle { font-size: larger; font-weight: bold; color: #00CC00}
ol {  margin-right: 10%; margin-left: 10%; border-color: #FF9900 #996600 #996600 #FF9900; background-color: #FFFFCC; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}
a {  }
a:visited {  color: #0099FF}
a:link {  color: #0000FF}
.link {  background-color: #FFFFFF}
.box {  padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border: #333399 double}
.menu {  letter-spacing: .5em}
.column {  border-color: #333366 #6699CC #6699CC #333366; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; margin-top: 10px; margin-right: 10%; margin-left: 10%; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px}
h2 {  color: darkblue; text-align: center}