1/*---------------- Search Box */
2
3.titlearea table {
4    width: 100%;
5}
6
7dark-mode-toggle {
8    position: absolute;
9    right: 5px;
10    padding-top: 3px;
11}
12
13#MSearchBox {
14    position: absolute;
15    right: 34px;
16}
17
18/*---------------- Search box styling */
19
20.SRPage * {
21    font-weight: normal;
22    line-height: normal;
23}
24
25dark-mode-toggle {
26    margin-left: 5px;
27    display: flex;
28    float: right;
29}
30
31#MSearchBox {
32    display: inline-block;
33    white-space : nowrap;
34    background: var(--search-background-color);
35    border-radius: 0.65em;
36    box-shadow: var(--search-box-shadow);
37    z-index: 102;
38}
39
40#MSearchBox .left {
41    display: inline-block;
42    vertical-align: middle;
43    height: 1.4em;
44}
45
46#MSearchSelect {
47    display: inline-block;
48    vertical-align: middle;
49    width: 20px;
50    height: 19px;
51    background-image: var(--search-magnification-select-image);
52    margin: 0 0 0 0.3em;
53    padding: 0;
54}
55
56#MSearchSelectExt {
57    display: inline-block;
58    vertical-align: middle;
59    width: 10px;
60    height: 19px;
61    background-image: var(--search-magnification-image);
62    margin: 0 0 0 0.5em;
63    padding: 0;
64}
65
66
67#MSearchField {
68    display: inline-block;
69    vertical-align: middle;
70    width: 7.5em;
71    height: 19px;
72    margin: 0 0.15em;
73    padding: 0;
74    line-height: 1em;
75    border:none;
76    color: var(--search-foreground-color);
77    outline: none;
78    font-family: var(--font-family-search);
79    -webkit-border-radius: 0px;
80    border-radius: 0px;
81    background: none;
82}
83
84@media(hover: none) {
85    /* to avoid zooming on iOS */
86    #MSearchField {
87        font-size: 16px;
88    }
89}
90
91#MSearchBox .right {
92    display: inline-block;
93    vertical-align: middle;
94    width: 1.4em;
95    height: 1.4em;
96}
97
98#MSearchClose {
99    display: none;
100    font-size: inherit;
101    background : none;
102    border: none;
103    margin: 0;
104    padding: 0;
105    outline: none;
106
107}
108
109#MSearchCloseImg {
110    padding: 0.3em;
111    margin: 0;
112}
113
114.MSearchBoxActive #MSearchField {
115    color: var(--search-active-color);
116}
117
118
119
120/*---------------- Search filter selection */
121
122#MSearchSelectWindow {
123    display: none;
124    position: absolute;
125    left: 0; top: 0;
126    border: 1px solid var(--search-filter-border-color);
127    background-color: var(--search-filter-background-color);
128    z-index: 10001;
129    padding-top: 4px;
130    padding-bottom: 4px;
131    -moz-border-radius: 4px;
132    -webkit-border-top-left-radius: 4px;
133    -webkit-border-top-right-radius: 4px;
134    -webkit-border-bottom-left-radius: 4px;
135    -webkit-border-bottom-right-radius: 4px;
136    -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
137}
138
139.SelectItem {
140    font: 8pt var(--font-family-search);
141    padding-left:  2px;
142    padding-right: 12px;
143    border: 0px;
144}
145
146span.SelectionMark {
147    margin-right: 4px;
148    font-family: var(--font-family-monospace);
149    outline-style: none;
150    text-decoration: none;
151}
152
153a.SelectItem {
154    display: block;
155    outline-style: none;
156    color: var(--search-filter-foreground-color);
157    text-decoration: none;
158    padding-left:   6px;
159    padding-right: 12px;
160}
161
162a.SelectItem:focus,
163a.SelectItem:active {
164    color: var(--search-filter-foreground-color);
165    outline-style: none;
166    text-decoration: none;
167}
168
169a.SelectItem:hover {
170    color: var(--search-filter-highlight-text-color);
171    background-color: var(--search-filter-highlight-bg-color);
172    outline-style: none;
173    text-decoration: none;
174    cursor: pointer;
175    display: block;
176}
177
178/*---------------- Search results window */
179
180iframe#MSearchResults {
181    /*width: 60ex;*/
182    height: 15em;
183}
184
185#MSearchResultsWindow {
186    display: none;
187    position: absolute;
188    left: 0; top: 0;
189    border: 1px solid var(--search-results-border-color);
190    background-color: var(--search-results-background-color);
191    z-index:10000;
192    width: 300px;
193    height: 400px;
194    overflow: auto;
195}
196
197/* ----------------------------------- */
198
199
200#SRIndex {
201    clear:both;
202}
203
204.SREntry {
205    font-size: 10pt;
206    padding-left: 1ex;
207}
208
209.SRPage .SREntry {
210    font-size: 8pt;
211    padding: 1px 5px;
212}
213
214div.SRPage {
215    margin: 5px 2px;
216    background-color: var(--search-results-background-color);
217}
218
219.SRChildren {
220    padding-left: 3ex; padding-bottom: .5em
221}
222
223.SRPage .SRChildren {
224    display: none;
225}
226
227.SRSymbol {
228    font-weight: bold;
229    color: var(--search-results-foreground-color);
230    font-family: var(--font-family-search);
231    text-decoration: none;
232    outline: none;
233}
234
235a.SRScope {
236    display: block;
237    color: var(--search-results-foreground-color);
238    font-family: var(--font-family-search);
239    font-size: 8pt;
240    text-decoration: none;
241    outline: none;
242}
243
244a.SRSymbol:focus, a.SRSymbol:active,
245a.SRScope:focus, a.SRScope:active {
246    text-decoration: underline;
247}
248
249span.SRScope {
250    padding-left: 4px;
251    font-family: var(--font-family-search);
252}
253
254.SRPage .SRStatus {
255    padding: 2px 5px;
256    font-size: 8pt;
257    font-style: italic;
258    font-family: var(--font-family-search);
259}
260
261.SRResult {
262    display: none;
263}
264
265div.searchresults {
266    margin-left: 10px;
267    margin-right: 10px;
268}
269
270/*---------------- External search page results */
271
272.pages b {
273   color: white;
274   padding: 5px 5px 3px 5px;
275   background-image: var(--nav-gradient-active-image-parent);
276   background-repeat: repeat-x;
277   text-shadow: 0 1px 1px #000000;
278}
279
280.pages {
281    line-height: 17px;
282    margin-left: 4px;
283    text-decoration: none;
284}
285
286.hl {
287    font-weight: bold;
288}
289
290#searchresults {
291    margin-bottom: 20px;
292}
293
294.searchpages {
295    margin-top: 10px;
296}
297
298