 
/* start css.sty */ 
P.noindent { text-indent: 0em }
P.indent{ text-indent: 1.5em }
.SUB, .SUP {font-size:110%}
 .underline{ text-decoration:underline; }
 .overline{ text-decoration:overline; }
.Canvas { position:relative; }
LI P.indent, LI P.indent{ text-indent: 0em }
P.bibitem { text-indent: -2em; margin-left: 2em; }
.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
DIV.td00{ margin-left:0; margin-right:0; }
DIV.td01{ margin-left:0; margin-right:5; }
DIV.td10{ margin-left:5; margin-right:0; }
DIV.td11{ margin-left:5; margin-right:5; }
.hline HR, .cline HR{ height : 1px; }
.verbatim {margin-bottom:0.5em; margin-top:0.5em; }
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; }
SPAN.LATEX SPAN.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
SPAN.LATEX SPAN.TEX{ position:relative; left: -0.4em; }
.marginpar {width:20%; float:right; text-align:left; margin-left:1em; margin-top:0.5em; font-size:95%;}
H1.partHead{text-align: center}
TD.caption{white-space: nowrap; }
H2.titleHead{text-align:center;}
DIV.maketitle{ margin-bottom: 2em; }
.obeylines-h,.obeylines-v {white-space: nowrap; }
.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
P.fancyvrb {white-space: nowrap; margin:0em;}
.alltt .underline{ text-decoration:none; color:green; }
DIV.fbox{ margin-left:8%; margin-right:8%; }
.slide {color:#FFFFFF ; background-color:#0000FF; font-size:135%; font-family: sans-serif; text-align: left}
.sectionHead {color:#FF0000; font-size:135%; font-weight: bold; font-family: sans-serif; text-align: center}
.maketitle {color:#FF0000; font-size:135%; line-height:1.24; font-weight: bold; font-family: sans-serif; text-align: center}
.ecbx-1440{ font-size:144%; font-weight: bold;}
.ecrm-1200{ font-size:120%; }
.ecbx-0900{ font-size:90%; font-weight: bold;}
.ecbx-1200{ font-size:120%; font-weight: bold;}
.ecti-1000{ font-style: italic;}
.ectt-0900{ font-size:90%; font-family: monospace;}
.small-caps{font-variant: small-caps; }
/* end css.sty */ 
