| blob | 52235b0d1a3e3da5512dcad94de8cfe4007ae578 |
1 htfcss: ecbx font-weight: bold;
2 htfcss: ecsx font-weight: bold;
3 htfcss: ecbi font-weight: bold; font-style: italic;
4 htfcss: ecit font-style: italic; font-family: monospace;
5 htfcss: ecss font-family: sans-serif;
6 htfcss: ecff font-family: fantasy;
7 htfcss: ecti font-style: italic;
8 htfcss: ectt font-family: monospace;
9 htfcss: ecbx font-weight: bold;
10 htfcss: ecsx font-weight: bold;
11 htfcss: ecbi font-weight: bold; font-style: italic;
12 htfcss: ecit font-style: italic; font-family: monospace;
13 htfcss: ecss font-family: sans-serif;
14 htfcss: ecff font-family: fantasy;
15 htfcss: ecti font-style: italic;
16 htfcss: ectt font-family: monospace;
17 htfcss: ecbx font-weight: bold;
18 htfcss: ecsx font-weight: bold;
19 htfcss: ecbi font-weight: bold; font-style: italic;
20 htfcss: ecit font-style: italic; font-family: monospace;
21 htfcss: ecss font-family: sans-serif;
22 htfcss: ecff font-family: fantasy;
23 htfcss: ecti font-style: italic;
24 htfcss: ectt font-family: monospace;
25 htfcss: ecbx font-weight: bold;
26 htfcss: ecsx font-weight: bold;
27 htfcss: ecbi font-weight: bold; font-style: italic;
28 htfcss: ecit font-style: italic; font-family: monospace;
29 htfcss: ecss font-family: sans-serif;
30 htfcss: ecff font-family: fantasy;
31 htfcss: ecti font-style: italic;
32 htfcss: ectt font-family: monospace;
33 htfcss: ecbx font-weight: bold;
34 htfcss: ecsx font-weight: bold;
35 htfcss: ecbi font-weight: bold; font-style: italic;
36 htfcss: ecit font-style: italic; font-family: monospace;
37 htfcss: ecss font-family: sans-serif;
38 htfcss: ecff font-family: fantasy;
39 htfcss: ecti font-style: italic;
40 htfcss: ectt font-family: monospace;
41 htfcss: ecbx font-weight: bold;
42 htfcss: ecsx font-weight: bold;
43 htfcss: ecbi font-weight: bold; font-style: italic;
44 htfcss: ecit font-style: italic; font-family: monospace;
45 htfcss: ecss font-family: sans-serif;
46 htfcss: ecff font-family: fantasy;
47 htfcss: ecti font-style: italic;
48 htfcss: ectt font-family: monospace;
49 htfcss: ecbx font-weight: bold;
50 htfcss: ecsx font-weight: bold;
51 htfcss: ecbi font-weight: bold; font-style: italic;
52 htfcss: ecit font-style: italic; font-family: monospace;
53 htfcss: ecss font-family: sans-serif;
54 htfcss: ecff font-family: fantasy;
55 htfcss: ecti font-style: italic;
56 htfcss: ectt font-family: monospace;
57 htfcss: ecbx font-weight: bold;
58 htfcss: ecsx font-weight: bold;
59 htfcss: ecbi font-weight: bold; font-style: italic;
60 htfcss: ecit font-style: italic; font-family: monospace;
61 htfcss: ecss font-family: sans-serif;
62 htfcss: ecff font-family: fantasy;
63 htfcss: ecti font-style: italic;
64 htfcss: ectt font-family: monospace;
65 htfcss: ecbx font-weight: bold;
66 htfcss: ecsx font-weight: bold;
67 htfcss: ecbi font-weight: bold; font-style: italic;
68 htfcss: ecit font-style: italic; font-family: monospace;
69 htfcss: ecss font-family: sans-serif;
70 htfcss: ecff font-family: fantasy;
71 htfcss: ecti font-style: italic;
72 htfcss: ectt font-family: monospace;
73 htfcss: ecbx font-weight: bold;
74 htfcss: ecsx font-weight: bold;
75 htfcss: ecbi font-weight: bold; font-style: italic;
76 htfcss: ecit font-style: italic; font-family: monospace;
77 htfcss: ecss font-family: sans-serif;
78 htfcss: ecff font-family: fantasy;
79 htfcss: ecti font-style: italic;
80 htfcss: ectt font-family: monospace;
81 htfcss: ecbx font-weight: bold;
82 htfcss: ecsx font-weight: bold;
83 htfcss: ecbi font-weight: bold; font-style: italic;
84 htfcss: ecit font-style: italic; font-family: monospace;
85 htfcss: ecss font-family: sans-serif;
86 htfcss: ecff font-family: fantasy;
87 htfcss: ecti font-style: italic;
88 htfcss: ectt font-family: monospace;
89 htfcss: ecbx font-weight: bold;
90 htfcss: ecsx font-weight: bold;
91 htfcss: ecbi font-weight: bold; font-style: italic;
92 htfcss: ecit font-style: italic; font-family: monospace;
93 htfcss: ecss font-family: sans-serif;
94 htfcss: ecff font-family: fantasy;
95 htfcss: ecti font-style: italic;
96 htfcss: ectt font-family: monospace;
97 File: literate.html
98 File: literate.css
99 File: literate.tmp
100 Font_Class(4,"4"): <span class="small-caps"></span>
101 Css: p.noindent { text-indent: 0em }
102 Css: td p.noindent { text-indent: 0em; margin-top:0em; }
103 Css: p.nopar { text-indent: 0em; }
104 Css: p.indent{ text-indent: 1.5em }
105 Css: @media print {div.crosslinks {visibility:hidden;}}
106 Css: a img { border-top: 0; border-left: 0; border-right: 0; }
107 Font_Css("4"): .small-caps{font-variant: small-caps; }
108 Font_Css("10"): .htf-cmbx {font-weight: bold; font-style:normal;}
109 Font_Css("12"): .htf-calligraphy {font-family:cursive}
110 Font_Css("14"): .htf-italic {font-style: italic;}
111 Font_Css("16"): .htf-bold {font-weight: bold;}
112 Font_Css("12"): .htf-calligraphy-bold {font-family:cursive ; font-weight: bold; }
113 Css: center { margin-top:1em; margin-bottom:1em; }
114 Css: td center { margin-top:0em; margin-bottom:0em; }
115 Css: .Canvas { position:relative; }
116 Css: img.math{vertical-align:middle;}
117 Css: li p.indent { text-indent: 0em }
118 Css: li p:first-child{ margin-top:0em; }
119 Css: li p:last-child, li div:last-child { margin-bottom:0.5em; }
120 Css: li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }
121 Css: .enumerate1 {list-style-type:decimal;}
122 Css: .enumerate2 {list-style-type:lower-alpha;}
123 Css: .enumerate3 {list-style-type:lower-roman;}
124 Css: .enumerate4 {list-style-type:upper-alpha;}
125 Css: div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
126 Css: .obeylines-h,.obeylines-v {white-space: nowrap; }
127 Css: div.obeylines-v p { margin-top:0; margin-bottom:0; }
128 Css: .overline{ text-decoration:overline; }
129 Css: .overline img{ border-top: 1px solid black; }
130 Css: td.displaylines {text-align:center; white-space:nowrap;}
131 Css: .centerline {text-align:center;}
132 Css: .rightline {text-align:right;}
133 Css: div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
134 Css: .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
135 Css: div.fbox {display:table}
136 Css: 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; }
137 Css: div.minipage{width:100%;}
138 Css: div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
139 Css: div.center div {text-align: left;}
140 Css: div.flushright, div.flushright div.flushright {text-align: right;}
141 Css: div.flushright div {text-align: left;}
142 Css: div.flushleft {text-align: left;}
143 Css: .underline{ text-decoration:underline; }
144 Css: .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
145 Css: .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
146 Css: .framebox-c {text-align:center;}
147 Css: .framebox-l {text-align:left;}
148 Css: .framebox-r {text-align:right;}
149 Css: span.thank-mark{ vertical-align: super }
150 Css: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
151 Css: div.footnotes{border-top:solid 1px black; border-bottom:solid 1px black; padding-bottom:1ex; padding-top:0.5ex; margin-right:15%; margin-top:2ex; font-style:italic; font-size:85%;}
152 Css: div.footnotes p{margin-top:0; margin-bottom:0; text-indent:0;}
153 Css: div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
154 Css: table.tabular td p{margin-top:0em;}
155 Css: table.tabular {margin-left: auto; margin-right: auto;}
156 Css: td p:first-child{ margin-top:0em; }
157 Css: td p:last-child{ margin-bottom:0em; }
158 Css: div.td00{ margin-left:0pt; margin-right:0pt; }
159 Css: div.td01{ margin-left:0pt; margin-right:5pt; }
160 Css: div.td10{ margin-left:5pt; margin-right:0pt; }
161 Css: div.td11{ margin-left:5pt; margin-right:5pt; }
162 Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
163 Css: td.td00{ padding-left:0pt; padding-right:0pt; }
164 Css: td.td01{ padding-left:0pt; padding-right:5pt; }
165 Css: td.td10{ padding-left:5pt; padding-right:0pt; }
166 Css: td.td11{ padding-left:5pt; padding-right:5pt; }
167 Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
168 Css: .hline hr, .cline hr{ height : 1px; margin:0px; }
169 Css: .tabbing-right {text-align:right;}
170 Css: span.TEX {letter-spacing: -0.125em; }
171 Css: span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
172 Css: a span.TEX span.E {text-decoration: none; }
173 Css: span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
174 Css: span.LATEX span.TEX{ position:relative; left: -0.4em; }
175 Css: div.float, div.figure {margin-left: auto; margin-right: auto;}
176 Css: div.float img {text-align:center;}
177 Css: div.figure img {text-align:center;}
178 Css: .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
179 Css: .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
180 Css: table.equation {width:100%;}
181 Css: .equation td{text-align:center; }
182 Css: td.equation { margin-top:1em; margin-bottom:1em; }
183 Css: td.equation-label { width:5%; text-align:center; }
184 Css: td.eqnarray4 { width:5%; white-space: normal; }
185 Css: td.eqnarray2 { width:5%; }
186 Css: table.eqnarray-star, table.eqnarray {width:100%;}
187 Css: div.eqnarray{text-align:center;}
188 Css: div.array {text-align:center;}
189 Css: div.pmatrix {text-align:center;}
190 Css: table.pmatrix {width:100%;}
191 Css: span.pmatrix img{vertical-align:middle;}
192 Css: div.pmatrix {text-align:center;}
193 Css: table.pmatrix {width:100%;}
194 Css: span.bar-css {text-decoration:overline;}
195 Css: img.cdots{vertical-align:middle;}
196 Css: .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
197 Css: .index-item, .index-subitem, .index-subsubitem {display:block}
198 Css: div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;}
199 Css: div.caption span.id{font-weight: bold; white-space: nowrap; }
200 Css: h1.partHead{text-align: center}
201 Css: p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
202 Css: p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
203 Css: .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
204 Css: .subparagraphHead, .likesubparagraphHead { font-weight: bold;}
205 Css: .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;}
206 Css: .verse{white-space:nowrap; margin-left:2em}
207 Css: div.maketitle {text-align:center;}
208 Css: h2.titleHead{text-align:center;}
209 Css: div.maketitle{ margin-bottom: 2em; }
210 Css: div.author, div.date {text-align:center;}
211 Css: div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
212 Css: .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
213 Css: .abstract p {margin-left:5%; margin-right:5%;}
214 Css: div.abstract {width:100%;}
215 Css: .lstlisting .label{margin-right:0.5em; }
216 Css: div.lstlisting{font-family: monospace; white-space: nowrap; margin-top:0.5em; margin-bottom:0.5em; }
217 Css: div.lstinputlisting{ font-family: monospace; white-space: nowrap; }
218 Css: .lstinputlisting .label{margin-right:0.5em;}
219 --- characters ---
220 Font("ecrm","1000","10","100")
221 Font("ectt","1000","10","100")
222 Font("ecrm","0900","9","100")
223 Font("ecrm","0800","8","100")
224 Font("eccc","1000","10","100")
225 Font("ecbx","1000","10","100")
226 Font("ecti","0800","8","100")
227 Font("ecbx","0800","8","100")
228 Font("eccc","0800","8","100")
229 Font("ecti","1000","10","100")
230 Font("ecbi","0800","8","100")
231 Font("ectt","0800","8","100")
232 Font("ecrm","0500","5","100")
233 Font("ecit","0800","8","100")