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 }
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 }
25
/* mathematics styles */
26
DIV.displaymath { } /* math displays */
27
TD.eqno { } /* equation-number cells */
30
/* document-specific styles come next */
32
SPAN.textit { font-style: italic }
34
SPAN.textbf { font-weight: bold }
35
SPAN.textsf { font-style: italic }
36
#hue104 { color: #0000ff; }
37
#hue109 { color: #000000; }
38
#hue113 { color: #000000; }
39
#hue117 { color: #000000; }
40
#hue119 { color: #000000; }
41
#hue123 { color: #000000; }
42
#hue146 { color: #0000ff; }
43
#hue204 { color: #000000; }
44
#hue219 { color: #000000; }
45
#hue230 { color: #000000; }
46
#hue232 { color: #000000; }
47
#hue236 { color: #000000; }
48
#hue238 { color: #000000; }
49
#hue242 { color: #000000; }
50
#hue244 { color: #000000; }
51
#hue248 { color: #000000; }
52
#hue25 { color: #0000ff; }
53
#hue28 { color: #000000; }
54
#hue470 { color: #000000; }
55
#hue472 { color: #ff0000; }
56
#hue473 { color: #ff0000; }
57
#hue474 { color: #ff0000; }
58
#hue476 { color: #000000; }
59
#hue477 { color: #000000; }
60
#hue478 { color: #000000; }
61
#hue481 { color: #ff0000; }
62
#hue490 { color: #ff0000; }
63
#hue494 { color: #000000; }
64
#hue495 { color: #000000; }
65
#hue496 { color: #000000; }
66
#hue506 { color: #ff0000; }
67
#hue508 { color: #ff0000; }
68
#hue509 { color: #ff0000; }
69
#hue55 { color: #000000; }
70
#hue57 { color: #000000; }
71
#hue73 { color: #000000; }
72
#hue91 { color: #000000; }
73
#hue95 { color: #000000; }
74
#hue99 { color: #000000; }