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