body           { color: #444; font-size: 17px; font-family: "Utopia Regular", Georgia, "Times New Roman", serif; line-height: 150%; background-color: #ffc0cb; text-align: justify }
.center-example { text-align: center }
p   { }
.glosTerm { color: #c71585; font-weight: bold; font-size: 16px; line-height: 18px; font-family: "Courier New", Courier, Monaco; padding-bottom: 0px }
.glosDef  { font-size: 14px; line-height: 18px; padding-left: 20px }
.invisible { visibility: hidden }
.glosSidebar  { color: #000; font-size: 14px; line-height: 18px; background-color: #ffc0cb; margin-left: 40px; padding: 10px; border: solid 1px #90ee90 }
.glosAlsosee { background-color: yellow }
.glosLetter { color: #c71585; font-weight: bold; font-size: 20px; line-height: 24px; font-family: "Courier New", Courier, Monaco; background-color: #ffc0cb; padding-left: 10px }
.glosDeriv { font-style: italic; background-color: #fdd }
.class { }
td  { font-size: 14px; line-height: 20px }
.pagebody   { background-color: white; padding-right: 15px; padding-left: 15px; border: solid 4px #db7093 }
.pageheader { padding-right: 10px; padding-left: 10px }
.sidebar      { color: #000; font-size: 15px; font-family: "Utopia Regular", Georgia, "Times New Roman", serif; line-height: 150%; background-color: #fcc; margin-right: 20px; margin-left: 20px; padding: 10px; border-style: solid none; border-width: 4px 0; border-color: #f99 }
td { }
.terminal    { color: #0f0; font-size: 12px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 15px; background-color: #333; text-align: left; margin-right: 30px; margin-left: 30px; padding: 10px; border-style: solid; border-width: 20px 6px 6px; border-color: #a9a9a9 }
.spamdisp1    { color: #4b0082; font-size: 15px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 130%; background-color: #b0e0e6; text-align: left; margin-right: 30px; margin-left: 30px; padding: 10px; border: dotted 3px }
.spamdisp2   { color: #a52a2a; font-size: 15px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 130%; background-color: #ffdead; text-align: left; margin-right: 30px; margin-left: 30px; padding: 10px; border: dotted 3px #bc8f8f }
h2    { color: #900; font-size: 30px; padding-top: 5px; padding-bottom: 5px; border-top: 1px solid gray; border-bottom: 1px solid gray }
h3      { color: #900; font-size: 24px; padding-top: 6px; padding-bottom: 6px; border-top: 1px solid #808080; border-bottom: 1px solid #808080 }
h4   { color: #900; font-size: 24px; text-align: center; padding-top: 6px; padding-bottom: 6px; border-top: 1px solid gray; border-bottom: 1px solid gray }
.table-box { margin-right: 10px; margin-left: 10px; padding: 5px; border: solid 1px #000 }
.box-o-links    { color: #333; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 150%; background-color: #7fffd4; padding: 10px; border: dashed 3px #008b8b }
.tt    { color: #800080; font-size: 15px; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: bold }
.hilite-yellow { background-color: yellow }
.hilite-green { background-color: #98fb98 }
.hilite-pink { background-color: #ffc0cb }
.pagepointer  { font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; background-color: #98fb98; text-align: center; margin-right: 60px; margin-left: 60px; padding: 8px; border: solid 2px green }
.h4subhead { color: #8b0000; font-size: 15px; font-weight: bold; line-height: 18px; text-align: center; margin-right: 40px; margin-left: 40px; border-top: 1px solid gray; border-bottom: 1px solid gray }
.hilite-gray { background-color: #d3d3d3 }
.synopsis { font-size: 14px; font-family: Arial, Helvetica, Geneva, SunSans-Regular, sans-serif; line-height: 20px; background-color: #ebebeb; padding: 10px; border: solid 1px gray }
.indextop { background-color: #ffefd5; padding: 15px; border: solid 2px #eee8aa }
.counter { color: #a9a9a9; font-size: 8pt; padding: 2px; border: solid 1px }