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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
body {
margin-top: 0;
background-color: #fbf5d5;
}
body * {
font-family: georgia, verdana, arial, sans-serif;
}
h2 {
margin-left: 0;
}
p {
padding: 0.4em;
margin-bottom: 0;
}
a {
text-decoration: none;
color: #444488;
}
a:visited {
color: #660066;
}
label { font-weight: bold; }
#top-bar {
position: relative;
top: 0; left: 0;
padding: 0;
margin: 1ex 0;
padding-bottom: 1ex;
width: 100%;
border-bottom: 1px solid;
font-size: 16px;
}
#top-bar * { font-size: 16px; }
#top-bar h1 {
display: inline;
margin-top: 0;
padding-top: 0;
font-weight: normal;
}
#logo img {
padding-right: 0.3em;
border: 0;
}
#navigation-bar {
position: absolute;
top: 0;
right: 0;
}
#content { clear: both; }
#search-form { display: inline; text-align: right; }
#search-form-contents { display: inline }
.rank {
float: left;
font-size: large;
}
.result {
margin-top: 2ex;
}
.result-description {
font-size: large;
margin-left: 4em;
display: block;
}
.extract {
font-size: medium;
font-style: italic;
display: block;
}
.pager {
# text-align: right;
border-top: 0;
margin-top: 0;
}
.page {
font-weight: bold;
font-size: 100%;
}
.current-page { color: #bbb }
.matched-fragment {
background-color: #ffff66;
}
#dir-panel {
margin: 1em;
}
.dir-panel-entry-subsection { margin-left: 1em; }
.doc_name {
color: #333366;
font-weight: bold;
}
.doc_description {
font-size: 100%;
margin-top: 0.3em;
margin-bottom: 2ex;
}
#item-list {
float: right;
width: 80%;
}
.spacer {
padding-top: 0;
padding-left: 1ex;
padding-right: 6ex;
padding-botom: 1ex;
width: 96%;
}
.disabled {
color: gray;
}
.note {
width: 90%;
color: #666;
background-color: #fbe2cb;
padding: 1ex;
font-size: 80%;
font-weight: bold;
margin-bottom: 1ex;
}
|
