1 2/* start css.sty */ 3.cmr-10{font-size:90%;} 4.cmmi-10{font-size:90%;font-style: italic;} 5.cmsy-5{font-size:45%;} 6.cmsy-10{font-size:90%;} 7.cmr-10x-x-109{} 8.cmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;} 9.cmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;} 10.cmssbx-10x-x-207{font-size:188%; font-family: sans-serif; font-weight: bold;} 11.cmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;} 12.cmr-12x-x-120{font-size:130%;} 13.cmbx-10x-x-109{ font-weight: bold;} 14.cmbx-10x-x-109{ font-weight: bold;} 15.cmtt-10x-x-109{font-family: monospace;} 16.cmtt-10x-x-109{font-family: monospace;} 17.cmtt-10x-x-109{font-family: monospace;} 18.cmtt-10x-x-109{font-family: monospace;} 19.cmsy-10x-x-109{} 20.cmbx-10{font-size:90%; font-weight: bold;} 21.cmbx-10{ font-weight: bold;} 22.cmtt-10{font-size:90%;font-family: monospace;} 23.cmtt-10{font-family: monospace;} 24.cmtt-10{font-family: monospace;} 25.cmtt-10{font-family: monospace;} 26.cmtt-8{font-size:72%;font-family: monospace;} 27.cmtt-8{font-family: monospace;} 28.cmtt-8{font-family: monospace;} 29.cmtt-8{font-family: monospace;} 30.cmr-8{font-size:72%;} 31.cmsy-6{font-size:54%;} 32.cmcsc-10{font-size:90%;} 33.cmr-9{font-size:81%;} 34.cmtt-9{font-size:81%;font-family: monospace;} 35.cmtt-9{font-family: monospace;} 36.cmtt-9{font-family: monospace;} 37.cmtt-9{font-family: monospace;} 38.small-caps{font-variant: small-caps; } 39p.noindent { text-indent: 0em } 40td p.noindent { text-indent: 0em; margin-top:0em; } 41p.nopar { text-indent: 0em; } 42p.indent{ text-indent: 1.5em } 43@media print {div.crosslinks {visibility:hidden;}} 44a img { border-top: 0; border-left: 0; border-right: 0; } 45center { margin-top:1em; margin-bottom:1em; } 46td center { margin-top:0em; margin-bottom:0em; } 47.Canvas { position:relative; } 48img.math{vertical-align:middle;} 49li p.indent { text-indent: 0em } 50li p:first-child{ margin-top:0em; } 51li p:last-child, li div:last-child { margin-bottom:0.5em; } 52li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; } 53.enumerate1 {list-style-type:decimal;} 54.enumerate2 {list-style-type:lower-alpha;} 55.enumerate3 {list-style-type:lower-roman;} 56.enumerate4 {list-style-type:upper-alpha;} 57div.newtheorem { margin-bottom: 2em; margin-top: 2em;} 58.obeylines-h,.obeylines-v {white-space: nowrap; } 59div.obeylines-v p { margin-top:0; margin-bottom:0; } 60.overline{ text-decoration:overline; } 61.overline img{ border-top: 1px solid black; } 62td.displaylines {text-align:center; white-space:nowrap;} 63.centerline {text-align:center;} 64.rightline {text-align:right;} 65div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; } 66.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } 67div.fbox {display:table} 68div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } 69div.minipage{width:100%;} 70div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;} 71div.center div {text-align: left;} 72div.flushright, div.flushright div.flushright {text-align: right;} 73div.flushright div {text-align: left;} 74div.flushleft {text-align: left;} 75.underline{ text-decoration:underline; } 76.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; } 77.framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } 78.framebox-c {text-align:center;} 79.framebox-l {text-align:left;} 80.framebox-r {text-align:right;} 81span.thank-mark{ vertical-align: super } 82span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; } 83div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; } 84table.tabular td p{margin-top:0em;} 85table.tabular {margin-left: auto; margin-right: auto;} 86td p:first-child{ margin-top:0em; } 87td p:last-child{ margin-bottom:0em; } 88div.td00{ margin-left:0pt; margin-right:0pt; } 89div.td01{ margin-left:0pt; margin-right:5pt; } 90div.td10{ margin-left:5pt; margin-right:0pt; } 91div.td11{ margin-left:5pt; margin-right:5pt; } 92table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } 93td.td00{ padding-left:0pt; padding-right:0pt; } 94td.td01{ padding-left:0pt; padding-right:5pt; } 95td.td10{ padding-left:5pt; padding-right:0pt; } 96td.td11{ padding-left:5pt; padding-right:5pt; } 97table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } 98.hline hr, .cline hr{ height : 1px; margin:0px; } 99.tabbing-right {text-align:right;} 100span.TEX {letter-spacing: -0.125em; } 101span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;} 102a span.TEX span.E {text-decoration: none; } 103span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;} 104span.LATEX span.TEX{ position:relative; left: -0.4em; } 105div.float, div.figure {margin-left: auto; margin-right: auto;} 106div.float img {text-align:center;} 107div.figure img {text-align:center;} 108.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} 109.marginpar p{margin-top:0.4em; margin-bottom:0.4em;} 110table.equation {width:100%;} 111.equation td{text-align:center; } 112td.equation { margin-top:1em; margin-bottom:1em; } 113td.equation-label { width:5%; text-align:center; } 114td.eqnarray4 { width:5%; white-space: normal; } 115td.eqnarray2 { width:5%; } 116table.eqnarray-star, table.eqnarray {width:100%;} 117div.eqnarray{text-align:center;} 118div.array {text-align:center;} 119div.pmatrix {text-align:center;} 120table.pmatrix {width:100%;} 121span.pmatrix img{vertical-align:middle;} 122div.pmatrix {text-align:center;} 123table.pmatrix {width:100%;} 124span.bar-css {text-decoration:overline;} 125img.cdots{vertical-align:middle;} 126.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;} 127.index-item, .index-subitem, .index-subsubitem {display:block} 128div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;} 129div.caption span.id{font-weight: bold; white-space: nowrap; } 130h1.partHead{text-align: center} 131p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; } 132p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; } 133.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;} 134.subparagraphHead, .likesubparagraphHead { font-weight: bold;} 135.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;} 136.verse{white-space:nowrap; margin-left:2em} 137div.maketitle {text-align:center;} 138h2.titleHead{text-align:center;} 139div.maketitle{ margin-bottom: 2em; } 140div.author, div.date {text-align:center;} 141div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; } 142div.author{white-space: nowrap;} 143.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; } 144.abstract p {margin-left:5%; margin-right:5%;} 145div.abstract {width:100%;} 146span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; } 147.figure img.graphics {margin-left:10%;} 148.lstlisting .label{margin-right:0.5em; } 149div.lstlisting{font-family: monospace; white-space: nowrap; margin-top:0.5em; margin-bottom:0.5em; } 150div.lstinputlisting{ font-family: monospace; white-space: nowrap; } 151.lstinputlisting .label{margin-right:0.5em;} 152/* end css.sty */ 153 154