blob: 21210889db6f13edda8e78374259529db4bcab80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH { font-family: "Century Schoolbook", serif; }
.MATH I { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
/* implement both fixed-size and relative sizes */
SMALL.XTINY { font-size : xx-small }
SMALL.TINY { font-size : x-small }
SMALL.SCRIPTSIZE { font-size : smaller }
SMALL.FOOTNOTESIZE { font-size : small }
SMALL.SMALL { }
BIG.LARGE { }
BIG.XLARGE { font-size : large }
BIG.XXLARGE { font-size : x-large }
BIG.HUGE { font-size : larger }
BIG.XHUGE { font-size : xx-large }
/* heading styles */
H1 { }
H2 { }
H3 { }
H4 { }
H5 { }
/* mathematics styles */
DIV.displaymath { } /* math displays */
TD.eqno { } /* equation-number cells */
/* document-specific styles come next */
DIV.navigation { }
DIV.flushleft { }
DIV.center { }
SPAN.textit { font-style: italic }
SPAN.textsl { font-style: italic }
SPAN.arabic { }
SPAN.textbf { font-weight: bold }
SPAN.eqn-number { }
#hue814 { color: #0000ff; }
#hue816 { color: #0000ff; }
#hue823 { color: #0000ff; }
#hue825 { color: #0000ff; }
#hue832 { color: #0000ff; }
#hue834 { color: #0000ff; }
#hue841 { color: #0000ff; }
#hue843 { color: #0000ff; }
#hue845 { color: #0000ff; }
#hue847 { color: #0000ff; }
#hue849 { color: #00ff00; }
#hue851 { color: #00ff00; }
#hue853 { color: #00ff00; }
#hue855 { color: #0000ff; }
#hue857 { color: #00ff00; }
#hue859 { color: #00ff00; }
#hue861 { color: #00ff00; }
#hue865 { color: #ff0000; }
#hue869 { color: #ff0000; }
#hue873 { color: #ff0000; }
#hue879 { color: #0000ff; }
#hue881 { color: #0000ff; }
#hue883 { color: #0000ff; }
#hue885 { color: #0000ff; }
#hue887 { color: #0000ff; }
#hue891 { color: #ff0000; }
#hue896 { color: #ff0000; }
#hue900 { color: #ff0000; }
#hue914 { color: #0000ff; }
#hue916 { color: #00ff00; }
#hue918 { color: #ff0000; }
|
