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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
BODY {
background-color: #FFF;
color: #000;
margin: 0px;
}
FORM {
margin-top: 0.5em;
margin-bottom: 0.5em;
}
P, TD {
font-family: lucida, "Lucida Sans Unicode", Geneva, sans-serif;
}
P IMG {
vertical-align: text-bottom;
}
P.crumbbreadth {
margin-top: 0.25em;
}
.compact {
margin-top: -0.5em;
text-indent: 0em;
}
SPAN.biblio {
font-style: italic;
}
SPAN.biblio A {
font-family: lucida, "Lucida Sans Unicode", Geneva, sans-serif;
font-weight: normal;
text-decoration: underline;
}
SPAN.availability {
font-family: lucidatypewriter, "Lucida Typewriter", Monaco, "Lucida Sans Unicode", monospace;
font-weight: normal;
}
UL {
list-style: outside;
}
UL.expand {
margin-bottom: 1em;
}
UL.sections {
list-style: none;
}
/* Font-level properties */
PRE {
font-family: lucidatypewriter, "Lucida Typewriter", Monaco, "Lucida Sans Unicode", monospace;
}
STRONG, A {
font-family: lucidatypewriter, "Lucida Typewriter", Monaco, "Rockwell", "Lucida Sans Unicode", monospace;
font-weight: bold;
}
A:link {
color: #B00;
}
A:visited {
color: #903;
}
H1, H2, H3, H4, H5, H6 {
font-family: lucidatypewriter, "Lucida Typewriter", "Lucida Console", Monaco, monospace;
}
H1 A, H2 A, H3 A, H4 A, H5 A, H6 A {
font-family: lucidatypewriter, "Lucida Typewriter", "Lucida Console", Monaco, monospace;
}
H1 {
color: #00B;
}
H2 {
color: #006;
}
H3 {
color: #006;
}
|
