23916858da7b7756487dadf35939503ae59a2e1f
1 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
2 .MATH { font-family: "Century Schoolbook", serif; }
3 .MATH I { font-family: "Century Schoolbook", serif; font-style: italic }
4 .BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
6 /* implement both fixed-size and relative sizes */
7 SMALL.XTINY { font-size : xx-small }
8 SMALL.TINY { font-size : x-small }
9 SMALL.SCRIPTSIZE { font-size : smaller }
10 SMALL.FOOTNOTESIZE { font-size : small }
11 SMALL.SMALL { }
12 BIG.LARGE { }
13 BIG.XLARGE { font-size : large }
14 BIG.XXLARGE { font-size : x-large }
15 BIG.HUGE { font-size : larger }
16 BIG.XHUGE { font-size : xx-large }
18 /* heading styles */
19 H1 { }
20 H2 { }
21 H3 { }
22 H4 { }
23 H5 { }
25 /* mathematics styles */
26 DIV.displaymath { } /* math displays */
27 TD.eqno { } /* equation-number cells */
30 /* document-specific styles come next */
31 DIV.navigation { }
32 SPAN.textit { font-style: italic }
33 SPAN.arabic { }
34 SPAN.textbf { font-weight: bold }
35 SPAN.textsf { font-style: italic }
36 #hue103 { color: #000000; }
37 #hue105 { color: #0000ff; }
38 #hue143 { color: #000000; }
39 #hue157 { color: #000000; }
40 #hue161 { color: #000000; }
41 #hue163 { color: #000000; }
42 #hue167 { color: #000000; }
43 #hue169 { color: #000000; }
44 #hue173 { color: #000000; }
45 #hue175 { color: #000000; }
46 #hue179 { color: #000000; }
47 #hue232 { color: #ff0000; }
48 #hue25 { color: #0000ff; }
49 #hue28 { color: #000000; }
50 #hue287 { color: #ff0000; }
51 #hue302 { color: #000000; }
52 #hue306 { color: #000000; }
53 #hue318 { color: #000000; }
54 #hue320 { color: #ff0000; }
55 #hue321 { color: #ff0000; }
56 #hue322 { color: #ff0000; }
57 #hue324 { color: #000000; }
58 #hue325 { color: #000000; }
59 #hue326 { color: #000000; }
60 #hue329 { color: #ff0000; }
61 #hue333 { color: #ff0000; }
62 #hue335 { color: #000000; }
63 #hue336 { color: #000000; }
64 #hue337 { color: #000000; }
65 #hue344 { color: #ff0000; }
66 #hue346 { color: #ff0000; }
67 #hue347 { color: #ff0000; }
68 #hue36 { color: #000000; }
69 #hue38 { color: #000000; }
70 #hue40 { color: #000000; }
71 #hue53 { color: #000000; }
72 #hue57 { color: #000000; }
73 #hue61 { color: #000000; }
74 #hue66 { color: #0000ff; }
75 #hue68 { color: #000000; }
76 #hue72 { color: #000000; }
77 #hue76 { color: #000000; }
78 #hue80 { color: #000000; }