/* start css.sty */
.cmr-7{font-size:70%;}
.cmr-5{font-size:50%;}
.cmmi-10{font-style: italic;}
.cmmi-7{font-size:70%;font-style: italic;}
.cmmi-5{font-size:50%;font-style: italic;}
.cmsy-7{font-size:70%;}
.cmsy-5{font-size:50%;}
.cmti-10{ font-style: italic;}
.cmr-7x-x-207{font-size:144%;}
.cmr-12{font-size:120%;}
.cmti-12{font-size:120%; font-style: italic;}
.cmtt-12{font-size:120%;font-family: monospace;}
.cmmi-12{font-size:120%;font-style: italic;}
.cmr-10x-x-207{font-size:207%;}
.cmr-5x-x-207{font-size:103%;}
.cmmi-10x-x-207{font-size:207%;font-style: italic;}
.cmmi-7x-x-207{font-size:144%;font-style: italic;}
.cmmi-5x-x-207{font-size:103%;font-style: italic;}
.cmsy-10x-x-207{font-size:207%;}
.cmsy-7x-x-207{font-size:144%;}
.cmsy-5x-x-207{font-size:103%;}
.cmsltt-10x-x-207{font-size:207%; font-style: oblique; font-family: monospace;}
.cmr-10x-x-248{font-size:248%;}
.cmsy-10x-x-248{font-size:248%;}
.lcircle-10x-x-248{font-size:248%;}
.htf-cmbx {font-weight: bold; font-style:normal;}
p.noindent { text-indent: 0em }
p.nopar { text-indent: 0em; }
p.indent{ text-indent: 1.5em }
@media print {div.crosslinks {visibility:hidden;}}
a img { border-top: 0; border-left: 0; border-right: 0; }
center { margin-top:1em; margin-bottom:1em; }
td center { margin-top:0em; margin-bottom:0em; }
.Canvas { position:relative; }
img.math{vertical-align:middle;}
.obeylines-h,.obeylines-v {white-space: nowrap; }
div.obeylines-v p { margin-top:0; margin-bottom:0; }
.overline{ text-decoration:overline; }
.overline img{ border-top: 1px solid black; }
td.displaylines {text-align:center; white-space:nowrap;}
.centerline {text-align:center;}
.rightline {text-align:right;}
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; }
.underline{ text-decoration:underline; }
.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
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; }
div.eqalign {text-align:center;}
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%;}
img.cdots{vertical-align:middle;}
div.pmatrix {text-align:center;}
div.Draw{text-align:center}
div.Verbatim { font-family: monospace; white-space: nowrap; }
body .Verbatim { margin: 1em; }
div.ShowCode{background-color:#EEEEEE; border: 1px white solid;}
div.ShowCode div.head{background-color:#E0E0E0;}
div.ShowCode div.tail{background-color:#E0E0E0;}
/* end css.sty */