Chris@1:  
Chris@1: /* start css.sty */
Chris@1: .cmex-10{font-size:83%;}
Chris@1: .cmssbx-10x-x-120{ font-family: sans-serif; font-weight: bold;}
Chris@1: .cmssbx-10x-x-120{ font-family: sans-serif; font-weight: bold;}
Chris@1: .cmssbx-10x-x-248{font-size:206%; font-family: sans-serif; font-weight: bold;}
Chris@1: .cmssbx-10x-x-248{ font-family: sans-serif; font-weight: bold;}
Chris@1: .cmr-17{font-size:141%;}
Chris@1: .cmmi-12{font-style: italic;}
Chris@1: .cmtt-12{font-family: monospace;}
Chris@1: .cmtt-12{font-family: monospace;}
Chris@1: .cmtt-12{font-family: monospace;}
Chris@1: .cmbx-12{ font-weight: bold;}
Chris@1: .cmti-12{ font-style: italic;}
Chris@1: .cmr-8{font-size:66%;}
Chris@1: .cmr-6{font-size:50%;}
Chris@1: .cmmi-8{font-size:66%;font-style: italic;}
Chris@1: .cmsy-8{font-size:66%;}
Chris@1: .cmsy-6{font-size:50%;}
Chris@1: .cmtt-8{font-size:66%;font-family: monospace;}
Chris@1: .cmtt-8{font-family: monospace;}
Chris@1: .cmtt-8{font-family: monospace;}
Chris@1: .cmtt-8x-x-75{font-size:50%;font-family: monospace;}
Chris@1: .cmtt-8x-x-75{font-family: monospace;}
Chris@1: .cmtt-8x-x-75{font-family: monospace;}
Chris@1: p.noindent { text-indent: 0em }
Chris@1: td p.noindent { text-indent: 0em; margin-top:0em; }
Chris@1: p.nopar { text-indent: 0em; }
Chris@1: p.indent{ text-indent: 1.5em }
Chris@1: @media print {div.crosslinks {visibility:hidden;}}
Chris@1: a img { border-top: 0; border-left: 0; border-right: 0; }
Chris@1: center { margin-top:1em; margin-bottom:1em; }
Chris@1: td center { margin-top:0em; margin-bottom:0em; }
Chris@1: .Canvas { position:relative; }
Chris@1: img.math{vertical-align:middle;}
Chris@1: li p.indent { text-indent: 0em }
Chris@1: li p:first-child{ margin-top:0em; }
Chris@1: li p:last-child, li div:last-child { margin-bottom:0.5em; }
Chris@1: li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }
Chris@1: .enumerate1 {list-style-type:decimal;}
Chris@1: .enumerate2 {list-style-type:lower-alpha;}
Chris@1: .enumerate3 {list-style-type:lower-roman;}
Chris@1: .enumerate4 {list-style-type:upper-alpha;}
Chris@1: div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
Chris@1: .obeylines-h,.obeylines-v {white-space: nowrap; }
Chris@1: div.obeylines-v p { margin-top:0; margin-bottom:0; }
Chris@1: .overline{ text-decoration:overline; }
Chris@1: .overline img{ border-top: 1px solid black; }
Chris@1: td.displaylines {text-align:center; white-space:nowrap;}
Chris@1: .centerline {text-align:center;}
Chris@1: .rightline {text-align:right;}
Chris@1: div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
Chris@1: .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Chris@1: div.fbox {display:table}
Chris@1: div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Chris@1: div.minipage{width:100%;}
Chris@1: div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
Chris@1: div.center div {text-align: left;}
Chris@1: div.flushright, div.flushright div.flushright {text-align: right;}
Chris@1: div.flushright div {text-align: left;}
Chris@1: div.flushleft {text-align: left;}
Chris@1: .underline{ text-decoration:underline; }
Chris@1: .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
Chris@1: .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Chris@1: .framebox-c {text-align:center;}
Chris@1: .framebox-l {text-align:left;}
Chris@1: .framebox-r {text-align:right;}
Chris@1: span.thank-mark{ vertical-align: super }
Chris@1: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
Chris@1: div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
Chris@1: table.tabular td p{margin-top:0em;}
Chris@1: table.tabular {margin-left: auto; margin-right: auto;}
Chris@1: td p:first-child{ margin-top:0em; }
Chris@1: td p:last-child{ margin-bottom:0em; }
Chris@1: div.td00{ margin-left:0pt; margin-right:0pt; }
Chris@1: div.td01{ margin-left:0pt; margin-right:5pt; }
Chris@1: div.td10{ margin-left:5pt; margin-right:0pt; }
Chris@1: div.td11{ margin-left:5pt; margin-right:5pt; }
Chris@1: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
Chris@1: td.td00{ padding-left:0pt; padding-right:0pt; }
Chris@1: td.td01{ padding-left:0pt; padding-right:5pt; }
Chris@1: td.td10{ padding-left:5pt; padding-right:0pt; }
Chris@1: td.td11{ padding-left:5pt; padding-right:5pt; }
Chris@1: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
Chris@1: .hline hr, .cline hr{ height : 1px; margin:0px; }
Chris@1: .tabbing-right {text-align:right;}
Chris@1: span.TEX {letter-spacing: -0.125em; }
Chris@1: span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
Chris@1: a span.TEX span.E {text-decoration: none; }
Chris@1: span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
Chris@1: span.LATEX span.TEX{ position:relative; left: -0.4em; }
Chris@1: div.float, div.figure {margin-left: auto; margin-right: auto;}
Chris@1: div.float img {text-align:center;}
Chris@1: div.figure img {text-align:center;}
Chris@1: .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
Chris@1: .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
Chris@1: table.equation {width:100%;}
Chris@1: .equation td{text-align:center; }
Chris@1: td.equation { margin-top:1em; margin-bottom:1em; } 
Chris@1: td.equation-label { width:5%; text-align:center; }
Chris@1: td.eqnarray4 { width:5%; white-space: normal; }
Chris@1: td.eqnarray2 { width:5%; }
Chris@1: table.eqnarray-star, table.eqnarray {width:100%;}
Chris@1: div.eqnarray{text-align:center;}
Chris@1: div.array {text-align:center;}
Chris@1: div.pmatrix {text-align:center;}
Chris@1: table.pmatrix {width:100%;}
Chris@1: span.pmatrix img{vertical-align:middle;}
Chris@1: div.pmatrix {text-align:center;}
Chris@1: table.pmatrix {width:100%;}
Chris@1: span.bar-css {text-decoration:overline;}
Chris@1: img.cdots{vertical-align:middle;}
Chris@1: .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
Chris@1: .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {line-height: 200%; font-weight:bold;}
Chris@1: .index-item, .index-subitem, .index-subsubitem {display:block}
Chris@1: div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;}
Chris@1: div.caption span.id{font-weight: bold; white-space: nowrap; }
Chris@1: h1.partHead{text-align: center}
Chris@1: p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Chris@1: p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Chris@1: .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
Chris@1: .subparagraphHead, .likesubparagraphHead { font-weight: bold;}
Chris@1: .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;}
Chris@1: .verse{white-space:nowrap; margin-left:2em}
Chris@1: div.maketitle {text-align:center;}
Chris@1: h2.titleHead{text-align:center;}
Chris@1: div.maketitle{ margin-bottom: 2em; }
Chris@1: div.author, div.date {text-align:center;}
Chris@1: div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
Chris@1: div.author{white-space: nowrap;}
Chris@1: .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
Chris@1: .abstract p {margin-left:5%; margin-right:5%;}
Chris@1: div.abstract {width:100%;}
Chris@1: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
Chris@1: .figure img.graphics {margin-left:10%;}
Chris@1: P.fancyvrb {white-space: nowrap; margin:0em;}
Chris@1: dt.enumerate-enumitem{float:left; clear:left; margin-left:1em; margin-right:1em;}
Chris@1: /* end css.sty */
Chris@1: