bos@149: body {
bos@149:   font: 12px/1.5 Verdana, sans-serif;
bos@149:   padding-top: 50px;
bos@149:   padding-left: 80px;
bos@149:   padding-right: 80px;
bos@149:   padding-bottom: 90px;
bos@149: }
bos@149: .ptmr7t- {
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmr7t-x-x-172 {
bos@149:   font-size: 172%;
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmr7t-x-x-172 {
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmr7t-x-x-120 {
bos@149:   font-size: 120%;
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmr7t-x-x-120 {
bos@149:   font-family: monospace;
bos@149: }
bos@149: .zpzccmry-x-x-120 {
bos@149:   font-size: 120%;
bos@149:   font-weight: bold;
bos@149:   font-style: italic;
bos@149: }
bos@149: .zpzccmry-x-x-120 {
bos@149:   font-weight: bold;
bos@149:   font-style: italic;
bos@149: }
bos@149: .pcrr7tn- {
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmri7t- {
bos@149:   font-style: italic;
bos@149: }
bos@149: .ptmr7t-x-x-50 {
bos@149:   font-size: 50%;
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmr7t-x-x-50 {
bos@149:   font-family: monospace;
bos@149: }
bos@149: .ptmb7t- {
bos@149:   font-weight: bold;
bos@149: }
bos@149: .zptmcmr- {
bos@149:   font-style: italic;
bos@149: }
bos@149: .zptmcmrm- {
bos@149:   font-style: italic;
bos@149: }
bos@149: .zpzccmry- {
bos@149:   font-weight: bold;
bos@149:   font-style: italic;
bos@149: }
bos@149: .pcrb7t- {
bos@149:   font-family: monospace;
bos@149:   font-weight: bold;
bos@149: }
bos@149: .pcrro7t- {
bos@149:   font-family: monospace;
bos@149:   font-style: oblique;
bos@149: }
bos@149: p.noindent {
bos@149:   text-indent: 0em;
bos@149:   margin: 0em;
bos@149: }
bos@149: p.nopar {
bos@149:   text-indent: 0em;
bos@149: }
bos@149: p.indent {
bos@149:   text-indent: 1.5em;
bos@149:   margin: 0em;
bos@149: }
bos@149: a img {
bos@149:   border-top: 0;
bos@149:   border-left: 0;
bos@149:   border-right: 0;
bos@149: }
bos@149: center {
bos@149:   margin-top: 1em;
bos@149:   margin-bottom: 1em;
bos@149: }
bos@149: td center {
bos@149:   margin-top: 0em;
bos@149:   margin-bottom: 0em;
bos@149: }
bos@149: .Canvas {
bos@149:   position: relative;
bos@149: }
bos@149: img.math {
bos@149:   vertical-align: middle;
bos@149: }
bos@149: li p.indent {
bos@149:   text-indent: 0em;
bos@149: }
bos@149: .enumerate1 {
bos@149:   list-style-type: decimal;
bos@149: }
bos@149: .enumerate2 {
bos@149:   list-style-type: lower-alpha;
bos@149: }
bos@149: .enumerate3 {
bos@149:   list-style-type: lower-roman;
bos@149: }
bos@149: .enumerate4 {
bos@149:   list-style-type: upper-alpha;
bos@149: }
bos@149: div.newtheorem {
bos@149:   margin-bottom: 2em;
bos@149:   margin-top: 2em;
bos@149: }
bos@149: .obeylines-h,.obeylines-v {
bos@149:   white-space: nowrap;
bos@149: }
bos@149: div.obeylines-v p {
bos@149:   margin-top: 0;
bos@149:   margin-bottom: 0;
bos@149: }
bos@149: .overline {
bos@149:   text-decoration: overline;
bos@149: }
bos@149: .overline img {
bos@149:   border-top: 1px solid black;
bos@149: }
bos@149: td.displaylines {
bos@149:   text-align: center;
bos@149:   white-space: nowrap;
bos@149: }
bos@149: .centerline {
bos@149:   text-align: center;
bos@149: }
bos@149: .rightline {
bos@149:   text-align: right;
bos@149: }
bos@149: div.verbatim {
bos@149:   font-family: monospace;
bos@149:   white-space: nowrap;
bos@149: }
bos@149: table.verbatim {
bos@149:   width: 100%;
bos@149: }
bos@149: .fbox {
bos@149:   background: url(note.png) no-repeat #cec;
bos@152:   padding-left: 65px;
bos@149:   padding-top: 1em;
bos@149:   padding-bottom: 1em;
bos@149:   padding-right: 1em;
bos@149:   text-indent: 0pt;
bos@149:   border: dotted black 1px;
bos@149: }
bos@149: div.center div.fbox {
bos@149:   text-align: center;
bos@149:   clear: both;
bos@149:   padding-left: 3.0pt;
bos@149:   padding-right: 3.0pt;
bos@149:   text-indent: 0pt;
bos@149:   border: solid black 0.4pt;
bos@149: }
bos@149: table.minipage {
bos@149:   width: 100%;
bos@149: }
bos@149: div.center, div.center div.center {
bos@149:   text-align: center;
bos@149:   margin-left: 1em;
bos@149:   margin-right: 1em;
bos@149: }
bos@149: div.center div {
bos@149:   text-align: left;
bos@149: }
bos@149: div.flushright, div.flushright div.flushright {
bos@149:   text-align: right;
bos@149: }
bos@149: div.flushright div {
bos@149:   text-align: left;
bos@149: }
bos@149: div.flushleft {
bos@149:   text-align: left;
bos@149: }
bos@149: .underline {
bos@149:   text-decoration: underline;
bos@149: }
bos@149: .underline img {
bos@149:   border-bottom: 1px solid black;
bos@149:   margin-bottom: 1pt;
bos@149: }
bos@149: .framebox-c, .framebox-l, .framebox-r {
bos@149:   padding-left: 3.0pt;
bos@149:   padding-right: 3.0pt;
bos@149:   text-indent: 0pt;
bos@149:   border: solid black 0.4pt;
bos@149: }
bos@149: .framebox-c {
bos@149:   text-align: center;
bos@149: }
bos@149: .framebox-l {
bos@149:   text-align: left;
bos@149: }
bos@149: .framebox-r {
bos@149:   text-align: right;
bos@149: }
bos@149: span.thank-mark {
bos@149:   vertical-align: super
bos@149: }
bos@149: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript {
bos@149:   font-size: 80%;
bos@149: }
bos@149: div.tabular, div.center div.tabular {
bos@149:   text-align: center;
bos@149:   margin-top: 0.5em;
bos@149:   margin-bottom: 0.5em;
bos@149: }
bos@149: table.tabular td p {
bos@149:   margin-top: 0em;
bos@149: }
bos@149: table.tabular {
bos@149:   margin-left: auto;
bos@149:   margin-right: auto;
bos@149: }
bos@149: div.td00 {
bos@149:   margin-left: 0pt;
bos@149:   margin-right: 0pt;
bos@149: }
bos@149: div.td01 {
bos@149:   margin-left: 0pt;
bos@149:   margin-right: 5pt;
bos@149: }
bos@149: div.td10 {
bos@149:   margin-left: 5pt;
bos@149:   margin-right: 0pt;
bos@149: }
bos@149: div.td11 {
bos@149:   margin-left: 5pt;
bos@149:   margin-right: 5pt;
bos@149: }
bos@149: table[rules] {
bos@149:   border-left: solid black 0.4pt;
bos@149:   border-right: solid black 0.4pt;
bos@149: }
bos@149: td.td00 {
bos@149:   padding-left: 0pt;
bos@149:   padding-right: 0pt;
bos@149: }
bos@149: td.td01 {
bos@149:   padding-left: 0pt;
bos@149:   padding-right: 5pt;
bos@149: }
bos@149: td.td10 {
bos@149:   padding-left: 5pt;
bos@149:   padding-right: 0pt;
bos@149: }
bos@149: td.td11 {
bos@149:   padding-left: 5pt;
bos@149:   padding-right: 5pt;
bos@149: }
bos@149: table[rules] {
bos@149:   border-left: solid black 0.4pt;
bos@149:   border-right: solid black 0.4pt;
bos@149: }
bos@149: .hline hr, .cline hr {
bos@149:   height : 1px;
bos@149:   margin: 0px;
bos@149: }
bos@149: .tabbing-right {
bos@149:   text-align: right;
bos@149: }
bos@149: span.TEX {
bos@149:   letter-spacing: -0.125em;
bos@149: }
bos@149: span.TEX span.E {
bos@149:   position: relative;top: 0.5ex;left: -0.0417em;
bos@149: }
bos@149: a span.TEX span.E {
bos@149:   text-decoration: none;
bos@149: }
bos@149: span.LATEX span.A {
bos@149:   position: relative;
bos@149:   top: -0.5ex;
bos@149:   left: -0.4em;
bos@149:   font-size: 85%;
bos@149: }
bos@149: span.LATEX span.TEX {
bos@149:   position: relative;
bos@149:   left: -0.4em;
bos@149: }
bos@149: div.float img, div.float .caption {
bos@149:   text-align: center;
bos@149: }
bos@149: div.figure img, div.figure .caption {
bos@149:   text-align: center;
bos@149: }
bos@149: .marginpar {
bos@149:   width: 20%;
bos@149:   float: right;
bos@149:   text-align: left;
bos@149:   margin-left: auto;
bos@149:   margin-top: 0.5em;
bos@149:   font-size: 85%;
bos@149:   text-decoration: underline;
bos@149: }
bos@149: .marginpar p {
bos@149:   margin-top: 0.4em;
bos@149:   margin-bottom: 0.4em;
bos@149: }
bos@149: table.equation {
bos@149:   width: 100%;
bos@149: }
bos@149: .equation td {
bos@149:   text-align: center;
bos@149: }
bos@149: td.equation {
bos@149:   margin-top: 1em;
bos@149:   margin-bottom: 1em;
bos@149: } 
bos@149: td.equation-label {
bos@149:   width: 5%;
bos@149:   text-align: center;
bos@149: }
bos@149: td.eqnarray4 {
bos@149:   width: 5%;
bos@149:   white-space: normal;
bos@149: }
bos@149: td.eqnarray2 {
bos@149:   width: 5%;
bos@149: }
bos@149: table.eqnarray-star, table.eqnarray {
bos@149:   width: 100%;
bos@149: }
bos@149: div.eqnarray {
bos@149:   text-align: center;
bos@149: }
bos@149: div.array {
bos@149:   text-align: center;
bos@149: }
bos@149: div.pmatrix {
bos@149:   text-align: center;
bos@149: }
bos@149: table.pmatrix {
bos@149:   width: 100%;
bos@149: }
bos@149: span.pmatrix img {
bos@149:   vertical-align: middle;
bos@149: }
bos@149: div.pmatrix {
bos@149:   text-align: center;
bos@149: }
bos@149: table.pmatrix {
bos@149:   width: 100%;
bos@149: }
bos@149: img.cdots {
bos@149:   vertical-align: middle;
bos@149: }
bos@149: .partToc a, .partToc, .likepartToc a, .likepartToc {
bos@149:   line-height: 200%;
bos@149:   font-weight: bold;
bos@149:   font-size: 110%;
bos@149: }
bos@149: .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {
bos@149:   line-height: 200%;
bos@149:   font-weight: bold;
bos@149: }
bos@149: .caption td.id {
bos@149:   font-weight: bold;
bos@149:   white-space: nowrap;
bos@149: }
bos@149: table.caption {
bos@149:   text-align: center;
bos@149: }
bos@149: h1.partHead {
bos@149:   text-align: center;
bos@149: }
bos@149: p.bibitem {
bos@149:   text-indent: -2em;
bos@149:   margin-left: 2em;
bos@149:   margin-top: 0.6em;
bos@149:   margin-bottom: 0.6em;
bos@149: }
bos@149: p.bibitem-p {
bos@149:   text-indent: 0em;
bos@149:   margin-left: 2em;
bos@149:   margin-top: 0.6em;
bos@149:   margin-bottom: 0.6em;
bos@149: }
bos@149: .paragraphHead, .likeparagraphHead {
bos@149:   margin-top: 2em;
bos@149:   font-weight: bold;
bos@149: }
bos@149: .subparagraphHead, .likesubparagraphHead {
bos@149:   font-weight: bold;
bos@149: }
bos@149: .quote {
bos@149:   margin-bottom: 0.25em;
bos@149:   margin-top: 0.25em;
bos@149:   margin-left: 1em;
bos@149:   margin-right: 1em;
bos@149:   text-align: justify;
bos@149: }
bos@149: .verse {
bos@149:   white-space: nowrap;
bos@149:   margin-left: 2em}
bos@149: div.maketitle {
bos@149:   text-align: center;
bos@149: }
bos@149: h2.titleHead {
bos@149:   text-align: center;
bos@149: }
bos@149: div.maketitle {
bos@149:   margin-bottom: 2em;
bos@149: }
bos@149: div.author, div.date {
bos@149:   text-align: center;
bos@149: }
bos@149: div.thanks {
bos@149:   text-align: left;
bos@149:   margin-left: 10%;
bos@149:   font-size: 85%;
bos@149:   font-style: italic;
bos@149: }
bos@149: div.author {
bos@149:   white-space: nowrap;
bos@149: }
bos@149: .quotation {
bos@149:   margin-bottom: 0.25em;
bos@149:   margin-top: 0.25em;
bos@149:   margin-left: 1em;
bos@149: }
bos@149: h1.partHead {
bos@149:   text-align: center;
bos@149: }
bos@149: img.graphics {
bos@149:   margin-left: 10%;
bos@149: }
bos@149: .figure {
bos@149:   width: 100%;
bos@149: }
bos@149: P.fancyvrb {
bos@149:   white-space: nowrap;
bos@149: }
bos@149: hr {
bos@149:   border: 0;
bos@149:   height: 1px;
bos@149: }
bos@149: div#fancyvrb {
bos@149:   white-space: nowrap;
bos@149:   background: #eee;
bos@149:   padding: 1em;
bos@149: }