Wed, 27 Dec 2023 16:04:38 +0100
migrates self-test for testing allocator - relates to #342
390 | 1 | /*---------------- Search Box */ |
2 | ||
3 | #FSearchBox { | |
4 | float: left; | |
5 | } | |
6 | ||
7 | #MSearchBox { | |
8 | white-space : nowrap; | |
9 | float: none; | |
10 | margin-top: 8px; | |
11 | right: 0px; | |
12 | width: 170px; | |
13 | height: 24px; | |
14 | z-index: 102; | |
15 | } | |
16 | ||
17 | #MSearchBox .left | |
18 | { | |
19 | display:block; | |
20 | position:absolute; | |
21 | left:10px; | |
22 | width:20px; | |
23 | height:19px; | |
24 | background:url('search_l.png') no-repeat; | |
25 | background-position:right; | |
26 | } | |
27 | ||
28 | #MSearchSelect { | |
29 | display:block; | |
30 | position:absolute; | |
31 | width:20px; | |
32 | height:19px; | |
33 | } | |
34 | ||
35 | .left #MSearchSelect { | |
36 | left:4px; | |
37 | } | |
38 | ||
39 | .right #MSearchSelect { | |
40 | right:5px; | |
41 | } | |
42 | ||
43 | #MSearchField { | |
44 | display:block; | |
45 | position:absolute; | |
46 | height:19px; | |
47 | background:url('search_m.png') repeat-x; | |
48 | border:none; | |
49 | width:115px; | |
50 | margin-left:20px; | |
51 | padding-left:4px; | |
52 | color: #909090; | |
53 | outline: none; | |
54 | font: 9pt Arial, Verdana, sans-serif; | |
55 | -webkit-border-radius: 0px; | |
56 | } | |
57 | ||
58 | #FSearchBox #MSearchField { | |
59 | margin-left:15px; | |
60 | } | |
61 | ||
62 | #MSearchBox .right { | |
63 | display:block; | |
64 | position:absolute; | |
65 | right:10px; | |
66 | top:8px; | |
67 | width:20px; | |
68 | height:19px; | |
69 | background:url('search_r.png') no-repeat; | |
70 | background-position:left; | |
71 | } | |
72 | ||
73 | #MSearchClose { | |
74 | display: none; | |
75 | position: absolute; | |
76 | top: 4px; | |
77 | background : none; | |
78 | border: none; | |
79 | margin: 0px 4px 0px 0px; | |
80 | padding: 0px 0px; | |
81 | outline: none; | |
82 | } | |
83 | ||
84 | .left #MSearchClose { | |
85 | left: 6px; | |
86 | } | |
87 | ||
88 | .right #MSearchClose { | |
89 | right: 2px; | |
90 | } | |
91 | ||
92 | .MSearchBoxActive #MSearchField { | |
93 | color: #000000; | |
94 | } | |
95 | ||
96 | /*---------------- Search filter selection */ | |
97 | ||
98 | #MSearchSelectWindow { | |
99 | display: none; | |
100 | position: absolute; | |
101 | left: 0; top: 0; | |
102 | border: 1px solid #90A5CE; | |
103 | background-color: #F9FAFC; | |
104 | z-index: 10001; | |
105 | padding-top: 4px; | |
106 | padding-bottom: 4px; | |
107 | -moz-border-radius: 4px; | |
108 | -webkit-border-top-left-radius: 4px; | |
109 | -webkit-border-top-right-radius: 4px; | |
110 | -webkit-border-bottom-left-radius: 4px; | |
111 | -webkit-border-bottom-right-radius: 4px; | |
112 | -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15); | |
113 | } | |
114 | ||
115 | .SelectItem { | |
116 | font: 8pt Arial, Verdana, sans-serif; | |
117 | padding-left: 2px; | |
118 | padding-right: 12px; | |
119 | border: 0px; | |
120 | } | |
121 | ||
122 | span.SelectionMark { | |
123 | margin-right: 4px; | |
124 | font-family: monospace; | |
125 | outline-style: none; | |
126 | text-decoration: none; | |
127 | } | |
128 | ||
129 | a.SelectItem { | |
130 | display: block; | |
131 | outline-style: none; | |
132 | color: #000000; | |
133 | text-decoration: none; | |
134 | padding-left: 6px; | |
135 | padding-right: 12px; | |
136 | } | |
137 | ||
138 | a.SelectItem:focus, | |
139 | a.SelectItem:active { | |
140 | color: #000000; | |
141 | outline-style: none; | |
142 | text-decoration: none; | |
143 | } | |
144 | ||
145 | a.SelectItem:hover { | |
146 | color: #FFFFFF; | |
147 | background-color: #3D578C; | |
148 | outline-style: none; | |
149 | text-decoration: none; | |
150 | cursor: pointer; | |
151 | display: block; | |
152 | } | |
153 | ||
154 | /*---------------- Search results window */ | |
155 | ||
156 | iframe#MSearchResults { | |
157 | width: 60ex; | |
158 | height: 15em; | |
159 | } | |
160 | ||
161 | #MSearchResultsWindow { | |
162 | display: none; | |
163 | position: absolute; | |
164 | left: 0; top: 0; | |
165 | border: 1px solid #000; | |
166 | background-color: #EEF1F7; | |
167 | z-index:10000; | |
168 | } | |
169 | ||
170 | /* ----------------------------------- */ | |
171 | ||
172 | ||
173 | #SRIndex { | |
174 | clear:both; | |
175 | padding-bottom: 15px; | |
176 | } | |
177 | ||
178 | .SREntry { | |
179 | font-size: 10pt; | |
180 | padding-left: 1ex; | |
181 | } | |
182 | ||
183 | .SRPage .SREntry { | |
184 | font-size: 8pt; | |
185 | padding: 1px 5px; | |
186 | } | |
187 | ||
188 | body.SRPage { | |
189 | margin: 5px 2px; | |
190 | } | |
191 | ||
192 | .SRChildren { | |
193 | padding-left: 3ex; padding-bottom: .5em | |
194 | } | |
195 | ||
196 | .SRPage .SRChildren { | |
197 | display: none; | |
198 | } | |
199 | ||
200 | .SRSymbol { | |
201 | font-weight: bold; | |
202 | color: #425E97; | |
203 | font-family: Arial, Verdana, sans-serif; | |
204 | text-decoration: none; | |
205 | outline: none; | |
206 | } | |
207 | ||
208 | a.SRScope { | |
209 | display: block; | |
210 | color: #425E97; | |
211 | font-family: Arial, Verdana, sans-serif; | |
212 | text-decoration: none; | |
213 | outline: none; | |
214 | } | |
215 | ||
216 | a.SRSymbol:focus, a.SRSymbol:active, | |
217 | a.SRScope:focus, a.SRScope:active { | |
218 | text-decoration: underline; | |
219 | } | |
220 | ||
221 | span.SRScope { | |
222 | padding-left: 4px; | |
223 | } | |
224 | ||
225 | .SRPage .SRStatus { | |
226 | padding: 2px 5px; | |
227 | font-size: 8pt; | |
228 | font-style: italic; | |
229 | } | |
230 | ||
231 | .SRResult { | |
232 | display: none; | |
233 | } | |
234 | ||
235 | DIV.searchresults { | |
236 | margin-left: 10px; | |
237 | margin-right: 10px; | |
238 | } | |
239 | ||
240 | /*---------------- External search page results */ | |
241 | ||
242 | .searchresult { | |
243 | background-color: #F0F3F8; | |
244 | } | |
245 | ||
246 | .pages b { | |
247 | color: white; | |
248 | padding: 5px 5px 3px 5px; | |
249 | background-image: url("../tab_a.png"); | |
250 | background-repeat: repeat-x; | |
251 | text-shadow: 0 1px 1px #000000; | |
252 | } | |
253 | ||
254 | .pages { | |
255 | line-height: 17px; | |
256 | margin-left: 4px; | |
257 | text-decoration: none; | |
258 | } | |
259 | ||
260 | .hl { | |
261 | font-weight: bold; | |
262 | } | |
263 | ||
264 | #searchresults { | |
265 | margin-bottom: 20px; | |
266 | } | |
267 | ||
268 | .searchpages { | |
269 | margin-top: 10px; | |
270 | } | |
271 |