hgbook
view en/hgbook.css @ 264:f8a2fe77908d
3 small typos
| author | arne@fluss.krababnet |
|---|---|
| date | Fri Aug 31 11:15:18 2007 +0200 (2007-08-31) |
| parents | 44f233544e9e |
| children |
line source
1 body {
2 font: 12px/1.5 Verdana, sans-serif;
3 padding-top: 50px;
4 padding-left: 80px;
5 padding-right: 80px;
6 padding-bottom: 90px;
7 }
8 .ptmr7t- {
9 font-family: monospace;
10 }
11 .ptmr7t-x-x-172 {
12 font-size: 172%;
13 font-family: monospace;
14 }
15 .ptmr7t-x-x-120 {
16 font-size: 120%;
17 }
18 .zpzccmry-x-x-120 {
19 font-size: 120%;
20 font-weight: bold;
21 font-style: italic;
22 }
23 .zpzccmry-x-x-120 {
24 font-weight: bold;
25 font-style: italic;
26 }
27 .pcrr7tn- {
28 font-family: monospace;
29 }
30 .ptmri7t- {
31 font-style: italic;
32 }
33 .ptmr7t-x-x-50 {
34 font-size: 50%;
35 font-family: monospace;
36 }
37 .ptmb7t- {
38 font-weight: bold;
39 }
40 .zptmcmr- {
41 font-style: italic;
42 }
43 .zptmcmrm- {
44 font-style: italic;
45 }
46 .zpzccmry- {
47 font-weight: bold;
48 font-style: italic;
49 }
50 .pcrb7t- {
51 font-family: monospace;
52 font-weight: bold;
53 }
54 .pcrro7t- {
55 font-family: monospace;
56 font-style: oblique;
57 }
58 p.noindent {
59 text-indent: 0em;
60 margin: 0em;
61 }
62 p.nopar {
63 text-indent: 0em;
64 }
65 p.indent {
66 text-indent: 1.5em;
67 margin: 0em;
68 }
69 a img {
70 border-top: 0;
71 border-left: 0;
72 border-right: 0;
73 }
74 center {
75 margin-top: 1em;
76 margin-bottom: 1em;
77 }
78 td center {
79 margin-top: 0em;
80 margin-bottom: 0em;
81 }
82 .Canvas {
83 position: relative;
84 }
85 img.math {
86 vertical-align: middle;
87 }
88 li p.indent {
89 text-indent: 0em;
90 }
91 .enumerate1 {
92 list-style-type: decimal;
93 }
94 .enumerate2 {
95 list-style-type: lower-alpha;
96 }
97 .enumerate3 {
98 list-style-type: lower-roman;
99 }
100 .enumerate4 {
101 list-style-type: upper-alpha;
102 }
103 div.newtheorem {
104 margin-bottom: 2em;
105 margin-top: 2em;
106 }
107 .obeylines-h,.obeylines-v {
108 white-space: nowrap;
109 }
110 div.obeylines-v p {
111 margin-top: 0;
112 margin-bottom: 0;
113 }
114 .overline {
115 text-decoration: overline;
116 }
117 .overline img {
118 border-top: 1px solid black;
119 }
120 td.displaylines {
121 text-align: center;
122 white-space: nowrap;
123 }
124 .centerline {
125 text-align: center;
126 }
127 .rightline {
128 text-align: right;
129 }
130 div.verbatim {
131 font-family: monospace;
132 white-space: nowrap;
133 }
134 table.verbatim {
135 width: 100%;
136 }
137 .fbox {
138 background: url(note.png) no-repeat #cec;
139 padding-left: 65px;
140 padding-top: 1em;
141 padding-bottom: 1em;
142 padding-right: 1em;
143 text-indent: 0pt;
144 border: dotted black 1px;
145 }
146 div.center div.fbox {
147 text-align: center;
148 clear: both;
149 padding-left: 3.0pt;
150 padding-right: 3.0pt;
151 text-indent: 0pt;
152 border: solid black 0.4pt;
153 }
154 table.minipage {
155 width: 100%;
156 }
157 div.center, div.center div.center {
158 text-align: center;
159 margin-left: 1em;
160 margin-right: 1em;
161 }
162 div.center div {
163 text-align: left;
164 }
165 div.flushright, div.flushright div.flushright {
166 text-align: right;
167 }
168 div.flushright div {
169 text-align: left;
170 }
171 div.flushleft {
172 text-align: left;
173 }
174 .underline {
175 text-decoration: underline;
176 }
177 .underline img {
178 border-bottom: 1px solid black;
179 margin-bottom: 1pt;
180 }
181 .framebox-c, .framebox-l, .framebox-r {
182 padding-left: 3.0pt;
183 padding-right: 3.0pt;
184 text-indent: 0pt;
185 border: solid black 0.4pt;
186 }
187 .framebox-c {
188 text-align: center;
189 }
190 .framebox-l {
191 text-align: left;
192 }
193 .framebox-r {
194 text-align: right;
195 }
196 span.thank-mark {
197 vertical-align: super
198 }
199 span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript {
200 font-size: 80%;
201 }
202 div.tabular, div.center div.tabular {
203 text-align: center;
204 margin-top: 0.5em;
205 margin-bottom: 0.5em;
206 }
207 table.tabular td p {
208 margin-top: 0em;
209 }
210 table.tabular {
211 margin-left: auto;
212 margin-right: auto;
213 }
214 div.td00 {
215 margin-left: 0pt;
216 margin-right: 0pt;
217 }
218 div.td01 {
219 margin-left: 0pt;
220 margin-right: 5pt;
221 }
222 div.td10 {
223 margin-left: 5pt;
224 margin-right: 0pt;
225 }
226 div.td11 {
227 margin-left: 5pt;
228 margin-right: 5pt;
229 }
230 table[rules] {
231 border-left: solid black 0.4pt;
232 border-right: solid black 0.4pt;
233 }
234 td.td00 {
235 padding-left: 0pt;
236 padding-right: 0pt;
237 }
238 td.td01 {
239 padding-left: 0pt;
240 padding-right: 5pt;
241 }
242 td.td10 {
243 padding-left: 5pt;
244 padding-right: 0pt;
245 }
246 td.td11 {
247 padding-left: 5pt;
248 padding-right: 5pt;
249 }
250 table[rules] {
251 border-left: solid black 0.4pt;
252 border-right: solid black 0.4pt;
253 }
254 .hline hr, .cline hr {
255 height : 1px;
256 margin: 0px;
257 }
258 .tabbing-right {
259 text-align: right;
260 }
261 span.TEX {
262 letter-spacing: -0.125em;
263 }
264 span.TEX span.E {
265 position: relative;top: 0.5ex;left: -0.0417em;
266 }
267 a span.TEX span.E {
268 text-decoration: none;
269 }
270 span.LATEX span.A {
271 position: relative;
272 top: -0.5ex;
273 left: -0.4em;
274 font-size: 85%;
275 }
276 span.LATEX span.TEX {
277 position: relative;
278 left: -0.4em;
279 }
280 div.float img, div.float .caption {
281 text-align: center;
282 }
283 div.figure img, div.figure .caption {
284 text-align: center;
285 }
286 .marginpar {
287 width: 20%;
288 float: right;
289 text-align: left;
290 margin-left: auto;
291 margin-top: 0.5em;
292 font-size: 85%;
293 text-decoration: underline;
294 }
295 .marginpar p {
296 margin-top: 0.4em;
297 margin-bottom: 0.4em;
298 }
299 table.equation {
300 width: 100%;
301 }
302 .equation td {
303 text-align: center;
304 }
305 td.equation {
306 margin-top: 1em;
307 margin-bottom: 1em;
308 }
309 td.equation-label {
310 width: 5%;
311 text-align: center;
312 }
313 td.eqnarray4 {
314 width: 5%;
315 white-space: normal;
316 }
317 td.eqnarray2 {
318 width: 5%;
319 }
320 table.eqnarray-star, table.eqnarray {
321 width: 100%;
322 }
323 div.eqnarray {
324 text-align: center;
325 }
326 div.array {
327 text-align: center;
328 }
329 div.pmatrix {
330 text-align: center;
331 }
332 table.pmatrix {
333 width: 100%;
334 }
335 span.pmatrix img {
336 vertical-align: middle;
337 }
338 div.pmatrix {
339 text-align: center;
340 }
341 table.pmatrix {
342 width: 100%;
343 }
344 img.cdots {
345 vertical-align: middle;
346 }
347 .partToc a, .partToc, .likepartToc a, .likepartToc {
348 line-height: 200%;
349 font-weight: bold;
350 font-size: 110%;
351 }
352 .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {
353 line-height: 200%;
354 font-weight: bold;
355 }
356 .caption td.id {
357 font-weight: bold;
358 white-space: nowrap;
359 }
360 table.caption {
361 text-align: center;
362 }
363 h1.partHead {
364 text-align: center;
365 }
366 p.bibitem {
367 text-indent: -2em;
368 margin-left: 2em;
369 margin-top: 0.6em;
370 margin-bottom: 0.6em;
371 }
372 p.bibitem-p {
373 text-indent: 0em;
374 margin-left: 2em;
375 margin-top: 0.6em;
376 margin-bottom: 0.6em;
377 }
378 .paragraphHead, .likeparagraphHead {
379 margin-top: 2em;
380 font-weight: bold;
381 }
382 .subparagraphHead, .likesubparagraphHead {
383 font-weight: bold;
384 }
385 .quote {
386 margin-bottom: 0.25em;
387 margin-top: 0.25em;
388 margin-left: 1em;
389 margin-right: 1em;
390 text-align: justify;
391 }
392 .verse {
393 white-space: nowrap;
394 margin-left: 2em}
395 div.maketitle {
396 text-align: center;
397 }
398 h2.titleHead {
399 text-align: center;
400 }
401 div.maketitle {
402 margin-bottom: 2em;
403 }
404 div.author, div.date {
405 text-align: center;
406 }
407 div.thanks {
408 text-align: left;
409 margin-left: 10%;
410 font-size: 85%;
411 font-style: italic;
412 }
413 div.author {
414 white-space: nowrap;
415 }
416 .quotation {
417 margin-bottom: 0.25em;
418 margin-top: 0.25em;
419 margin-left: 1em;
420 }
421 h1.partHead {
422 text-align: center;
423 }
424 img.graphics {
425 margin-left: 10%;
426 }
427 .figure {
428 width: 100%;
429 }
430 P.fancyvrb {
431 white-space: nowrap;
432 }
433 hr {
434 border: 0;
435 height: 1px;
436 }
437 div#fancyvrb {
438 white-space: nowrap;
439 background: #eee;
440 padding: 1em;
441 }