body    { color: black; font-size: 10pt; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 150%; background-color: #fff; text-align: justify; margin: 0 25px 25px }
.centered { 
	text-align: center 
	}
p {}
td   {}
.pborder { 
	padding: 5px 15px; 
	overflow: hidden; 
	border: solid 1px gray 
	}
.pbordermenu  { background-color: #f0f0f0; text-align: left; padding: 5px 15px; overflow: hidden; border: solid 1px gray }
.sitemap  { font-size: 10pt; line-height: 150%; background-color: #f0f0f0; text-align: left; padding: 5px 15px; overflow: hidden; border: solid 1px gray }
.search-results { font-size: 10pt; line-height: 150%; background-color: #f0f0f0; text-align: left; padding: 5px 15px; overflow: hidden; border: solid 1px gray }
.rightsidebar  { color: black; font-size: 10pt; line-height: 140%; background-color: #eeeeee; margin: 0 0 15px 15px; padding: 5px 15px; overflow: hidden; border: solid 1px gray }
.leftimage   { 
	list-style-type: square; 
	margin: 0 15px 0 0; 
	overflow: hidden 
	}
.rightimage   { 
	list-style-type: square; 
	margin: 0 0 0 15px; 
	overflow: hidden 
	}
.glosTerm { 
	color: #f00; 
	font-size: 24px; 
	font-family: "Courier New", Courier, Monaco, monospace; 
	font-weight: bold; 
	line-height: 100%; 
	margin: 15px 15px 0; 
	z-index: 0; 
	right: 10px; 
	float: left; 
	clear: both; 
	text-shadow: #aaaaaa 4px 4px 6px;
	}
.glosDef { font-size: 14px; line-height: 18px; padding: 15px; z-index: 10; right: 10px; bottom: 100px; border: dotted 1px #000 }
.rightsidebarhead    { color: #ff0; font-size: 12pt; font-weight: bold; line-height: 130%; background-color: #dc143c; text-align: center; margin-top: 12px; padding: 0 }
.tt         { color: blue; font-size: 9pt; 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 }
h2         { color: #900; font-size: 16pt; line-height: 120%; text-align: center; padding-top: 7px; padding-bottom: 7px; overflow: hidden; border-top: 1px solid gray; border-bottom: 1px solid gray }
h3            { color: #900; font-size: 14pt; line-height: 120%; text-align: left; padding-top: 6px; padding-bottom: 6px; overflow: hidden; border-top: 1px solid #808080; border-bottom: 1px solid #808080 }
h4        { color: #900; font-size: 12pt; line-height: 120%; text-align: center; padding-top: 6px; padding-bottom: 6px; overflow: hidden; border-bottom: 1px solid gray }
.sidebar                { color: #000; background-color: #f0f0f0; margin-right: 10px; margin-left: 10px; padding: 10px; overflow: hidden; border-style: solid none; border-width: 4px 0; border-color: gray }
.spamdisp1       { color: black; font-size: 10pt; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 150%; background-color: #cff; text-align: left; margin-right: 10px; margin-left: 10px; padding: 10px; border: dashed 2px }
.spamdisp2      { color: black; font-size: 10pt; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 150%; background-color: #ffc; text-align: left; margin-right: 10px; margin-left: 10px; padding: 10px; border: dashed 2px #bc8f8f }
.terminal      { color: #0f0; font-size: 10pt; font-family: "Lucida Sans Typewriter", "Andale Mono", Monaco, "Courier New", Courier, monospace; font-weight: normal; line-height: 150%; 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 }
.synopsis     { font-size: 10pt; background-color: #ebebeb; padding: 10px; overflow: hidden; border: solid 1px gray }
.indextop { background-color: #ffefd5; padding: 15px; border: solid 2px #eee8aa }
.center-example { text-align: center }
a.outlink  { background: #ffffe0 url(outlink3.gif) no-repeat right center; padding-right: 25px }
a.toolbox  { background: #ffffe0 url(toollink.gif) no-repeat right center; padding-right: 25px }
a.newwin   { background: #ffffe0 url(newwin3.gif) no-repeat right center; padding-right: 20px }
a.glink    { font-weight: bold; background: #ffffe0 url(glink.gif) no-repeat right center; padding-right: 14px }
.outlink  { font-weight: bold }
.toolbox  { font-weight: bold }
.newwin  { font-weight: bold }
.glink   { font-weight: bold; padding-left: 2px  }
a:hover { background-color: #ff0 }
a:link { }
a:visited { }
.glosLetter  { color: #ff0; font-size: 32px; font-family: "Courier New", Courier, Monaco, monospace; font-weight: bold; background-color: #f00; padding-top: 10px; padding-bottom: 10px; padding-left: 15px; clear: none; border: dotted 1px #000 }
.glosDeriv  { font-style: italic; background-color: #ffc }
.glosAlsosee  { color: #900; font-style: italic; background-color: #cff; padding-right: 3px; padding-left: 3px }
.label  { color: #f09; font-size: 8pt; font-family: "Arial Black", Arial, Helvetica, sans-serif; background-color: #ff0; padding-right: 6px; padding-left: 6px; border: solid 1px #666 }
.legend   { font-size: 9pt; line-height: 130%; background-color: #f5f5f5; margin-top: 6px; padding-top: 2px; padding-bottom: 2px; border: solid 1px #d3d3d3 }
.counter { color: #a9a9a9; font-size: 8pt; padding: 2px; border: solid 1px }