|
1
|
1 merror {display:inline;font-size:1em;}
|
|
|
2 math[display=block] {overflow:auto;}
|
|
|
3 math { white-space: nowrap }
|
|
|
4 .maruku-eq-number {float:right}
|
|
|
5 .blockquotesource {margin-left:1em;}
|
|
|
6 table.plaintable {
|
|
|
7 border-collapse:collapse;
|
|
|
8 margin-left:30px;
|
|
|
9 border:0;
|
|
|
10 }
|
|
|
11 .plaintable td {border:1px solid #000; padding: 3px;}
|
|
|
12 .plaintable th {padding: 3px;}
|
|
|
13 .plaintable caption {
|
|
|
14 font-weight: bold;
|
|
|
15 font-size:1.1em;
|
|
|
16 text-align:center;
|
|
|
17 margin-left:30px;
|
|
|
18 }
|
|
|
19 .noborder td, .noborder th {border:0}
|
|
|
20 body {counter-reset: theorem lemma proposition corollary definition example remark note}
|
|
|
21 .un_theorem *, .num_theorem *,
|
|
|
22 .un_lemma *, .num_lemma *,
|
|
|
23 .un_prop *, .num_prop *,
|
|
|
24 .un_cor *, .num_cor * {font-style: italic}
|
|
|
25 span.theorem_label {font-style:normal; font-weight:bold;}
|
|
|
26 .proof span.theorem_label {font-style:italic;}
|
|
|
27 .num_theorem .theorem_label:after {
|
|
|
28 content: " " counter(theorem); counter-increment: theorem;}
|
|
|
29 .num_lemma .theorem_label:after {
|
|
|
30 content: " " counter(lemma); counter-increment: lemma;}
|
|
|
31 .num_prop .theorem_label:after {
|
|
|
32 content: " " counter(proposition); counter-increment: proposition;}
|
|
|
33 .num_cor .theorem_label:after {
|
|
|
34 content: " " counter(corollary); counter-increment: corollary;}
|
|
|
35 .num_defn .theorem_label:after {
|
|
|
36 content: " " counter(definition); counter-increment: definition;}
|
|
|
37 .num_example .theorem_label:after {
|
|
|
38 content: " " counter(example); counter-increment: example;}
|
|
|
39 .num_remark .theorem_label:after {
|
|
|
40 content: " " counter(remark); counter-increment: remark;}
|
|
|
41 .num_note .theorem_label:after {
|
|
|
42 content: " " counter(note); counter-increment: note;}
|
|
|
43
|
|
|
44 /* Hack for Mozilla bug 449396 */
|
|
|
45 [mathvariant="bold"] * {
|
|
|
46 font-style: normal;
|
|
|
47 font-variant: normal;
|
|
|
48 font-weight: bold;
|
|
|
49 }
|
|
|
50 [mathvariant="italic"] * {
|
|
|
51 font-style: italic;
|
|
|
52 font-variant: normal;
|
|
|
53 font-weight: normal;
|
|
|
54 }
|
|
|
55 [mathvariant="bold-italic"] * {
|
|
|
56 font-style: italic;
|
|
|
57 font-variant: normal;
|
|
|
58 font-weight: bold;
|
|
|
59 }
|
|
|
60 [mathvariant="sans-serif"] * {
|
|
|
61 font-style: normal;
|
|
|
62 font-variant: normal;
|
|
|
63 font-weight: normal;
|
|
|
64 }
|
|
|
65 [mathvariant="bold-sans-serif"] * {
|
|
|
66 font-style: normal;
|
|
|
67 font-variant: normal;
|
|
|
68 font-weight: bold;
|
|
|
69 }
|
|
|
70 [mathvariant="sans-serif-italic"] * {
|
|
|
71 font-style: italic;
|
|
|
72 font-variant: normal;
|
|
|
73 font-weight: normal;
|
|
|
74 }
|
|
|
75 [mathvariant="sans-serif-bold-italic"] * {
|
|
|
76 font-style: italic;
|
|
|
77 font-variant: normal;
|
|
|
78 font-weight: bold;
|
|
|
79 } |
