 
/* start css.sty */
.cmr-9{font-size:90%;}
.cmr-7{font-size:70%;}
.cmmi-10{font-style: italic;}
.cmmi-7{font-size:70%;font-style: italic;}
.cmbx-10{ font-weight: bold;}
.cmbx-9{font-size:90%; font-weight: bold;}
.cmtt-10{font-family: monospace;}
.cmtt-9{font-size:90%;font-family: monospace;}
.cmti-10{ font-style: italic;}
p.noindent { text-indent: 0em }
p.nopar { text-indent: 0em; }
p.indent{ text-indent: 1.5em }
a img { border-top: 0; border-left: 0; border-right: 0; }
.htf-cmbx { font-weight: bold; font-style:normal; }
.htf-calligraphy {font-family:cursive}
center { margin-top:1em; margin-bottom:1em; }
td center { margin-top:0em; margin-bottom:0em; }
.Canvas { position:relative; }
div.displaymath{text-align:center;}
.obeylines-h,.obeylines-v {white-space: nowrap; }
.underline{ text-decoration:underline; }
.overline{ text-decoration:overline; }
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
div.proclaim { margin-top: 1em; margin-bottom: 1em; }
div.beginsection { margin-top: 1em; margin-bottom: 1em; }
td.eqalign3 { text-align:right; margin-left:10em;}
.eqalign td { white-space: nowrap; }
td.eqalignno3, td.leqalignno3 { text-align:right; margin-left:10em;}
.leqalignno td, .eqalignno td { white-space: nowrap; }
.leqalignno td.noalign, .eqalignno td.noalign { width:5%; white-space: normal; }
table.leqalignno, table.eqalignno {width:100%;}
.underline{ text-decoration:underline; }
.overline{ text-decoration:overline; }
div.Draw{text-align:center}
.IndexSec {margin-top:1em; margin-bottom:0.5em;}
h1, h2, h3 { font-family: comic; }
body { background: white; }
.SIGN{text-align:right;}
.Template { margin-left:3em; }
div.TableOfContents { margin-top: 1em; margin-right: 1em; margin-left:1em;}
div.Warning{ margin-right: 8%; margin-left:8%; text-align:justify; }
div.Warning div.Warning{ font-weight: bold; text-align:justify; border:solid 1px; color:red; }
.tabular, div.output { background-color:#FFFFCC; }
div.output { margin-left:3%; }
.button-list P{ margin-top:0em; margin-bottom:0; }
div.button-list { margin-left:3%; margin-right:3%; }
span.ShowCode { color: green; }
div.ShowCode { margin-left:3%; margin-right:3%; border-top: solid #CCCCCC 1pt; border-bottom: solid #CCCCCC 1pt; }
div.source { border-top: solid #CCCCCC 1pt; border-bottom: solid #CCCCCC 1pt;}
div.td00{ margin-left:0pt; margin-right:0pt; }
div.td01{ margin-left:0pt; margin-right:5pt; }
div.td10{ margin-left:5pt; margin-right:0pt; }
div.td11{ margin-left:5pt; margin-right:5pt; }
.hline hr, .cline hr{ height : 1px; }
.try{ border:solid 4px; }
.bugfixes{background: yellow; font-style: italic; font-weight: bold; }
#TBL-23 td{font-size:75%;}
/* end css.sty */
