this repo has no description
1/* karla regular latin-ext */
2@font-face {
3 font-family: "Karla";
4 font-style: normal;
5 font-weight: 400;
6 font-display: swap;
7 src: url("../fonts/karla-v23-regular-latin-ext.woff2") format("woff2");
8 unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB,
9 U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
10}
11/* karla regular latin */
12@font-face {
13 font-family: "Karla";
14 font-style: normal;
15 font-weight: 400;
16 font-display: swap;
17 src: url("../fonts/karla-v23-regular-latin.woff2") format("woff2");
18 unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA,
19 U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215,
20 U+FEFF, U+FFFD;
21}
22/* karla bold latin-ext */
23@font-face {
24 font-family: "Karla";
25 font-style: normal;
26 font-weight: 700;
27 font-display: swap;
28 src: url("../fonts/karla-v23-bold-latin-ext.woff2") format("woff2");
29 unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB,
30 U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
31}
32/* karla bold latin */
33@font-face {
34 font-family: "Karla";
35 font-style: normal;
36 font-weight: 700;
37 font-display: swap;
38 src: url("../fonts/karla-v23-bold-latin.woff2") format("woff2");
39 unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA,
40 U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215,
41 U+FEFF, U+FFFD;
42}
43/* ubuntu mono cyrillic-ext */
44@font-face {
45 font-family: "Ubuntu Mono";
46 font-style: normal;
47 font-weight: 400;
48 font-display: swap;
49 src: url("../fonts/ubuntu-mono-v15-regular-cyrillic-ext.woff2")
50 format("woff2");
51 unicode-range: U+0460-052F, U+1C80-1C88, U+20B4, U+2DE0-2DFF, U+A640-A69F,
52 U+FE2E-FE2F;
53}
54/* ubuntu mono cyrillic */
55@font-face {
56 font-family: "Ubuntu Mono";
57 font-style: normal;
58 font-weight: 400;
59 font-display: swap;
60 src: url("../fonts/ubuntu-mono-v15-regular-cyrillic.woff2") format("woff2");
61 unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
62}
63/* ubuntu mono greek-ext */
64@font-face {
65 font-family: "Ubuntu Mono";
66 font-style: normal;
67 font-weight: 400;
68 font-display: swap;
69 src: url("../fonts/ubuntu-mono-v15-regular-greek-ext.woff2") format("woff2");
70 unicode-range: U+1F00-1FFF;
71}
72/* ubuntu mono greek */
73@font-face {
74 font-family: "Ubuntu Mono";
75 font-style: normal;
76 font-weight: 400;
77 font-display: swap;
78 src: url("../fonts/ubuntu-mono-v15-regular-greek.woff2") format("woff2");
79 unicode-range: U+0370-03FF;
80}
81/* ubuntu mono latin-ext */
82@font-face {
83 font-family: "Ubuntu Mono";
84 font-style: normal;
85 font-weight: 400;
86 font-display: swap;
87 src: url("../fonts/ubuntu-mono-v15-regular-latin-ext.woff2") format("woff2");
88 unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB,
89 U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
90}
91/* ubuntu mono latin */
92@font-face {
93 font-family: "Ubuntu Mono";
94 font-style: normal;
95 font-weight: 400;
96 font-display: swap;
97 src: url("../fonts/ubuntu-mono-v15-regular-latin.woff2") format("woff2");
98 unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA,
99 U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215,
100 U+FEFF, U+FFFD;
101}
102
103:root {
104 /* Colours */
105 --black: #2a2020;
106 --hard-black: #000;
107 --pink: #ffaff3;
108 --hot-pink: #d900b8;
109 --white: #fff;
110 --pink-white: #fff8fe;
111 --mid-grey: #dfe2e5;
112 --light-grey: #f5f5f5;
113 --boi-blue: #a6f0fc;
114
115 /* Derived colours */
116 --text: var(--black);
117 --background: var(--white);
118 --accented-background: var(--pink-white);
119 --code-border: var(--pink);
120 --code-background: var(--light-grey);
121 --table-border: var(--mid-grey);
122 --table-background: var(--pink-white);
123 --links: var(--hot-pink);
124 --accent: var(--pink);
125
126 /* Sizes */
127 --content-width: 772px;
128 --header-height: 60px;
129 --hash-offset: calc(var(--header-height) * 1.67);
130 --sidebar-width: 240px;
131 --gap: 24px;
132 --small-gap: calc(var(--gap) / 2);
133 --tiny-gap: calc(var(--small-gap) / 2);
134 --large-gap: calc(var(--gap) * 2);
135 --sidebar-toggle-size: 33px;
136 --search-height: 4rem;
137
138 /* etc */
139 --shadow: 0 0 0 1px rgba(50, 50, 93, 0.075), 0 0 1px #e9ecef,
140 0 2px 4px -2px rgba(138, 141, 151, 0.6);
141 --nav-shadow: 0 0 6px 2px rgba(0, 0, 0, 0.1);
142}
143
144* {
145 box-sizing: border-box;
146}
147
148body,
149html {
150 padding: 0;
151 margin: 0;
152 font-family: "Karla", -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica,
153 Arial, system-ui, ui-sans-serif, sans-serif, "Apple Color Emoji",
154 "Segoe UI Emoji";
155 font-size: 17px;
156 line-height: 1.4;
157 position: relative;
158 min-height: 100vh;
159 word-break: break-word;
160}
161
162html {
163 /* This is necessary so hash targets appear below the fixed header */
164 scroll-padding-top: var(--hash-offset);
165}
166
167a,
168a:visited {
169 color: var(--links);
170 text-decoration: none;
171}
172
173a:hover {
174 text-decoration: underline;
175}
176
177button,
178select {
179 background: transparent;
180 border: 0 none;
181 cursor: pointer;
182 font-family: inherit;
183 font-size: 100%;
184 line-height: 1.15;
185 margin: 0;
186 text-transform: none;
187}
188
189button::-moz-focus-inner {
190 border-style: none;
191 padding: 0;
192}
193
194button:-moz-focusring {
195 outline: 1px dotted ButtonText;
196}
197
198button {
199 -webkit-appearance: button;
200 appearance: button;
201 line-height: 1;
202 margin: 0;
203 overflow: visible;
204 padding: 0;
205}
206
207button:active,
208select:active {
209 outline: 0 none;
210}
211
212li {
213 margin-bottom: 4px;
214}
215
216p {
217 margin: var(--small-gap) 0;
218}
219
220.rendered-markdown h1,
221.rendered-markdown h2,
222.rendered-markdown h3,
223.rendered-markdown h4,
224.rendered-markdown h5 {
225 font-size: 1.3rem;
226}
227
228blockquote {
229 border-left: 4px solid var(--accent);
230 padding: var(--small-gap) var(--gap);
231 background-color: var(--accented-background);
232 margin: var(--small-gap) 0;
233}
234
235/* Code */
236
237pre,
238code {
239 font-family: "Ubuntu Mono", SFMono-Regular, "SF Mono", Menlo, Consolas,
240 "Liberation Mono", ui-monospace, monospace;
241 line-height: 1.2;
242 background-color: var(--code-background);
243}
244
245pre {
246 margin: var(--gap) 0;
247 border-radius: 1px;
248 overflow: auto;
249 box-shadow: var(--shadow);
250}
251
252pre > code,
253code.hljs {
254 padding: var(--small-gap) var(--gap);
255 background: transparent;
256}
257
258p code {
259 margin: 0 2px;
260 border-radius: 3px;
261 padding: 0 0.2em;
262 color: var(--inline-code);
263}
264
265p a code {
266 color: var(--links);
267}
268
269/* Page layout */
270
271.page {
272 display: flex;
273}
274
275.content {
276 margin-left: var(--sidebar-width);
277 margin-bottom: var(--large-gap);
278 padding: calc(var(--header-height) + var(--gap)) var(--gap) 0 var(--gap);
279 width: calc(100% - var(--sidebar-width));
280 max-width: var(--content-width);
281}
282
283.content img {
284 max-width: 100%;
285}
286
287/* Page header */
288
289.page-header {
290 box-shadow: var(--nav-shadow);
291 height: var(--header-height);
292 color: black;
293 color: var(--hard-black);
294 background-color: var(--pink);
295 display: flex;
296 padding: var(--small-gap) var(--gap);
297 position: fixed;
298 left: 0;
299 right: 0;
300 top: 0;
301 z-index: 300;
302}
303
304.page-header h2 {
305 align-items: baseline;
306 display: flex;
307 margin: 0;
308 width: var(--sidebar-width);
309}
310
311.page-header a,
312.page-header a:visited {
313 color: black;
314 color: var(--hard-black);
315 overflow: hidden;
316 text-overflow: ellipsis;
317 white-space: nowrap;
318}
319
320.sidebar-toggle {
321 display: none;
322 font-size: var(--sidebar-toggle-size);
323 opacity: 0;
324 transition: opacity 1s ease;
325}
326
327.search-nav-button {
328 display: none;
329 font-size: var(--sidebar-toggle-size);
330 opacity: 0;
331 transition: opacity 1s ease;
332}
333
334.page-header .sidebar-toggle {
335 color: white;
336 color: var(--white);
337 margin: 0 var(--small-gap) 0 0;
338}
339
340.page-header .search-nav-button {
341 color: white;
342 color: var(--white);
343 margin: 0 var(--small-gap) 0 0;
344}
345
346/* Version selector */
347
348#project-version {
349 --half-small-gap: calc(var(--small-gap) / 2);
350 --icon-size: 0.75em;
351 flex-shrink: 0;
352 font-size: 0.9rem;
353 font-weight: normal;
354 margin-left: var(--half-small-gap);
355}
356
357#project-version > span {
358 padding-left: var(--half-small-gap);
359}
360
361#project-version form {
362 align-items: center;
363 display: inline-flex;
364 justify-content: flex-end;
365}
366
367#project-version select {
368 appearance: none;
369 -webkit-appearance: none;
370 padding: 0.6rem calc(1.3 * var(--icon-size)) 0.6rem var(--half-small-gap);
371 position: relative;
372 z-index: 1;
373}
374
375#project-version option {
376 background-color: var(--code-background);
377}
378
379#project-version .icon {
380 font-size: var(--icon-size);
381 margin-left: calc(-1.65 * var(--icon-size));
382}
383
384/* Module doc */
385
386.module-name > a,
387.module-member-kind > a {
388 color: inherit;
389}
390
391.module-name > a:hover,
392.module-member-kind > a:hover {
393 text-decoration: none;
394}
395
396.module-name > .icon-gleam-chasse,
397.module-member-kind > .icon-gleam-chasse,
398.module-member-kind > .icon-gleam-chasse-2 {
399 color: var(--pink);
400 display: block;
401 font-size: 1rem;
402 margin: var(--small-gap) 0 0;
403}
404
405.module-name {
406 color: var(--hard-black);
407 margin: 0 0 var(--gap);
408 font-weight: 700;
409}
410
411/* Sidebar */
412
413.sidebar {
414 background-color: var(--background);
415 font-size: 0.95rem;
416 max-height: calc(100vh - var(--header-height));
417 overflow-y: auto;
418 overscroll-behavior: contain;
419 padding-top: var(--gap);
420 padding-bottom: calc(3 * var(--gap));
421 padding-left: var(--gap);
422 padding-right: var(--gap);
423 position: fixed;
424 top: var(--header-height);
425 transition: transform 0.5s ease;
426 width: var(--sidebar-width);
427 z-index: 100;
428}
429
430.sidebar h2 {
431 margin: 0;
432}
433
434.sidebar ul {
435 list-style: none;
436 margin: var(--small-gap) 0;
437 padding: 0;
438}
439
440.sidebar li {
441 line-height: 1.2;
442 margin-bottom: 4px;
443}
444
445.module-link {
446 display: inline-block;
447 padding-left: 0.5em;
448 text-indent: -0.5em;
449 line-height: 1.2;
450}
451
452.sidebar .sidebar-toggle {
453 color: var(--pink);
454 font-size: calc(0.8 * var(--sidebar-toggle-size));
455}
456
457body.drawer-closed .label-open,
458body.drawer-open .label-closed {
459 display: none;
460}
461
462.display-controls {
463 display: flex;
464 flex-wrap: wrap;
465 margin-top: var(--small-gap);
466 padding-right: var(--gap);
467}
468
469.display-controls .control {
470 margin: 0.5rem 0;
471}
472
473.display-controls .control:not(:first-child) {
474 margin-left: 1rem;
475}
476
477.toggle {
478 align-items: center;
479 display: flex;
480 font-size: 0.96rem;
481}
482
483.toggle-0 .label:not(.label-0),
484.toggle-1 .label:not(.label-1) {
485 display: none;
486}
487
488.label {
489 display: flex;
490}
491
492.label .icon {
493 margin: 0 0.28rem;
494}
495
496/* Module members (types, functions) */
497
498.module-members {
499 margin-top: var(--large-gap);
500}
501
502.module-members:last-of-type .member:last-of-type {
503 margin-bottom: 0;
504}
505
506.module-member-kind {
507 font-size: 2rem;
508 color: var(--text);
509}
510
511.member {
512 margin: var(--large-gap) 0;
513 padding-bottom: var(--gap);
514}
515
516.member-name {
517 display: flex;
518 align-items: center;
519 justify-content: space-between;
520 border-left: 4px solid var(--accent);
521 padding: var(--small-gap) var(--gap);
522 background-color: var(--accented-background);
523}
524
525.member-name h2 {
526 display: flex;
527 font-size: 1.5rem;
528 margin: 0;
529}
530
531.member-name h2 a {
532 color: var(--text);
533}
534
535.member-source {
536 align-self: baseline;
537 flex-shrink: 0;
538 line-height: calc(1.4 * 1.5rem);
539 margin: 0 0 0 var(--small-gap);
540}
541
542.visibility-tag {
543 background-color: var(--bg-shade-3);
544 color: var(--text);
545 padding: 0px 6px 4px;
546 border-radius: 4px;
547 font-size: 0.9em;
548 margin-left: auto;
549 line-height: normal;
550}
551
552/* Custom type constructors */
553
554.constructor-list {
555 list-style: none;
556 padding: 0;
557}
558
559.constructor-row {
560 align-items: center;
561 display: flex;
562}
563
564.constructor-item {
565 margin-bottom: var(--small-gap);
566}
567
568.constructor-argument-label {
569 font-style: italic;
570}
571
572.constructor-argument-list {
573 margin-bottom: var(--small-gap);
574}
575
576.constructor-item-docs {
577 margin-left: var(--large-gap);
578 margin-bottom: var(--gap);
579}
580
581.constructor-item .icon {
582 flex-shrink: 0;
583 font-size: 0.7rem;
584 margin: 0 0.88rem;
585}
586
587.constructor-name {
588 box-shadow: unset;
589 margin: 0;
590}
591
592.constructor-name > code {
593 padding: var(--small-gap);
594}
595
596/* Tables */
597
598table {
599 border-spacing: 0;
600 border-collapse: collapse;
601}
602
603table td,
604table th {
605 padding: 6px 13px;
606 border: 1px solid var(--table-border);
607}
608
609table tr:nth-child(2n) {
610 background-color: var(--table-background);
611}
612
613/* Footer */
614
615.pride {
616 width: 100%;
617 display: none;
618 flex-direction: row;
619 position: absolute;
620 bottom: 0;
621 z-index: 100;
622}
623
624.show-pride .pride {
625 display: flex;
626}
627
628.show-pride .sidebar {
629 margin-bottom: var(--gap);
630}
631
632.pride div {
633 flex: 1;
634 text-align: center;
635 padding: var(--tiny-gap);
636}
637
638.pride .white {
639 background-color: var(--white);
640}
641.pride .pink {
642 background-color: var(--pink);
643}
644.pride .blue {
645 background-color: var(--boi-blue);
646}
647
648.pride-button {
649 position: absolute;
650 right: 2px;
651 bottom: 2px;
652 opacity: 0.2;
653 font-size: 0.9rem;
654}
655
656.pride-button {
657 text-decoration: none;
658 cursor: default;
659}
660
661/* Icons */
662
663.svg-lib {
664 height: 0;
665 overflow: hidden;
666 position: absolute;
667 width: 0;
668}
669
670.icon {
671 display: inline-block;
672 fill: currentColor;
673 height: 1em;
674 stroke: currentColor;
675 stroke-width: 0;
676 width: 1em;
677}
678
679.icon-gleam-chasse {
680 width: 8.182em;
681}
682
683.icon-gleam-chasse-2 {
684 width: 4.909em;
685}
686
687/* Pre-Wrap Option */
688
689body.prewrap-on code,
690body.prewrap-on pre {
691 white-space: pre-wrap;
692}
693
694/* Dark Theme Option */
695
696body.theme-dark {
697 /* Colour palette adapted from:
698 * https://github.com/dustypomerleau/yarra-valley
699 */
700
701 --argument-atom: #c651e5;
702 --class-module: #ff89b5;
703 --comment: #7e818b;
704 --escape: #7cdf89;
705 --function-call: #abb8c0;
706 --function-definition: #8af899;
707 --interpolation-regex: #ee37aa;
708 --keyword-operator: #ff9d35;
709 --number-boolean: #f14360;
710 --object: #99c2eb;
711 --punctuation: #4ce7ff;
712 --string: #aecc00;
713
714 --inline-code: #ff9d35;
715
716 --bg: #292d3e;
717 --bg-tint-1: #3e4251;
718 --bg-tint-2: #535664;
719 --bg-tint-3: #696c77;
720 --bg-tint-4: #7e818b;
721 --bg-shade-1: #242837;
722 --bg-shade-2: #202431;
723 --bg-shade-3: #1c1f2b;
724 --bg-mono-1: #33384d;
725 --bg-mono-2: #3d435d;
726 --bg-mono-3: #474e6c;
727 --bg-mono-4: #51597b;
728
729 --fg: #cac0a9;
730 --fg-tint-1: #fdf2d8;
731 --fg-tint-2: #fdf3dc;
732 --fg-tint-3: #fdf5e0;
733 --fg-shade-1: #e3d8be;
734 --fg-shade-2: #cac0a9;
735 --fg-shade-3: #b1a894;
736 --fg-shade-4: #97907f;
737
738 --orange-shade-1: #e58d2f;
739 --orange-shade-2: #cc7d2a;
740 --orange-shade-3: #b26d25;
741
742 --taupe-mono-1: #fdf1d4;
743 --taupe-mono-2: #fce9bc;
744 --taupe-mono-3: #fbe1a3;
745
746 /* Theme Overrides */
747
748 --accent: var(--pink);
749 --accented-background: var(--bg-shade-1);
750 --background: var(--bg);
751 --code-background: var(--bg-shade-2);
752 --table-background: var(--bg-mono-1);
753 --hard-black: var(--taupe-mono-1);
754 --links: var(--pink);
755 --text: var(--taupe-mono-1);
756
757 --shadow: 0 0 0 1px rgba(50, 50, 93, 0.075), 0 0 1px var(--fg-shade-3),
758 0 2px 4px -2px rgba(138, 141, 151, 0.2);
759 --nav-shadow: 0 0 5px 5px rgba(0, 0, 0, 0.1);
760}
761
762body.theme-dark {
763 background-color: var(--bg);
764 color: var(--fg-shade-1);
765}
766
767body.theme-dark .page-header {
768 background-color: var(--bg-mono-1);
769}
770
771body.theme-dark .page-header h2 {
772 color: var(--fg-shade-1);
773}
774
775body.theme-dark .page-header a,
776body.theme-dark .page-header a:visited {
777 color: var(--pink);
778}
779
780body.theme-dark .page-header .sidebar-toggle {
781 color: var(--fg-shade-1);
782}
783body.theme-dark .page-header .search-nav-button {
784 color: var(--fg-shade-1);
785}
786
787body.theme-dark #project-version select,
788body.theme-dark .control {
789 color: var(--fg-shade-1);
790}
791
792body.theme-dark .module-name {
793 color: var(--taupe-mono-1);
794}
795
796body.theme-dark .pride {
797 color: var(--bg-shade-3);
798}
799
800body.theme-dark .pride .white {
801 background-color: var(--fg-shade-1);
802}
803
804body.theme-dark .pride .pink {
805 background-color: var(--argument-atom);
806}
807
808body.theme-dark .pride .blue {
809 background-color: var(--punctuation);
810}
811
812/* Medium and larger displays */
813@media (min-width: 680px) {
814 #prewrap-toggle {
815 display: none;
816 }
817}
818
819/* Small displays */
820@media (max-width: 920px) {
821 .page-header {
822 padding-left: var(--small-gap);
823 padding-right: var(--small-gap);
824 }
825
826 .page-header h2 {
827 width: calc(
828 100% - var(--sidebar-toggle-size) - var(--small-gap) -
829 var(--sidebar-toggle-size) - var(--small-gap)
830 );
831 }
832
833 .content {
834 width: 100%;
835 max-width: unset;
836 margin-left: unset;
837 }
838
839 .sidebar {
840 box-shadow: var(--nav-shadow);
841 height: 100vh;
842 max-height: unset;
843 top: 0;
844 transform: translate(calc(-10px - var(--sidebar-width)));
845 z-index: 500;
846 }
847
848 body.drawer-open .sidebar {
849 transform: translate(0);
850 }
851
852 .sidebar-toggle {
853 display: block;
854 opacity: 1;
855 }
856
857 .search-nav-button {
858 display: block;
859 opacity: 1;
860 }
861
862 .sidebar .sidebar-toggle {
863 height: var(--sidebar-toggle-size);
864 position: absolute;
865 right: var(--small-gap);
866 top: var(--small-gap);
867 width: var(--sidebar-toggle-size);
868 }
869}
870
871/* Search */
872
873.search {
874 display: none;
875 position: relative;
876 z-index: 2;
877 flex-grow: 1;
878 height: var(--search-height);
879 padding: 0.5rem;
880 transition: padding linear 200ms;
881}
882
883@media (min-width: 919px) {
884 .search {
885 margin-left: var(--small-gap);
886 display: block;
887 position: relative !important;
888 width: auto !important;
889 height: 100% !important;
890 padding: 0;
891 transition: none;
892 }
893}
894
895.search-input-wrap {
896 position: relative;
897 z-index: 1;
898 height: 3rem;
899 overflow: hidden;
900 border-radius: 4px;
901 box-shadow: 0 1px 2px rgba(0, 0, 0, 0.12), 0 3px 10px rgba(0, 0, 0, 0.08);
902 transition: height linear 200ms;
903}
904
905@media (min-width: 919px) {
906 .search-input-wrap {
907 position: absolute;
908 width: 100%;
909 max-width: calc(var(--content-width) - var(--gap) - var(--gap));
910 height: 100% !important;
911 border-radius: 0;
912 box-shadow: none;
913 transition: width ease 400ms;
914 }
915}
916
917.search-input {
918 position: absolute;
919 width: 100%;
920 height: 100%;
921 padding: 0.5rem 1rem;
922 font-size: 16px;
923 background-color: var(--background);
924 color: var(--text);
925 border-top: 0;
926 border-right: 0;
927 border-bottom: 0;
928 border-left: 0;
929 border-radius: 0;
930}
931
932@media (min-width: 919px) {
933 .search-input {
934 padding: 1rem;
935 font-size: 14px;
936 background-color: var(--background);
937 transition: padding-left linear 200ms;
938 }
939}
940
941.search-input:focus {
942 outline: 0;
943}
944
945.search-input:focus + .search-label .search-icon {
946 color: var(--pink);
947}
948
949.search-label {
950 position: absolute;
951 right: 0;
952 display: flex;
953 height: 100%;
954 padding-right: 1rem;
955 cursor: pointer;
956}
957
958@media (min-width: 919px) {
959 .search-label {
960 padding-right: 0.6rem;
961 transition: padding-left linear 200ms;
962 }
963}
964
965.search-label .search-icon {
966 width: 1.2rem;
967 height: 1.2rem;
968 align-self: center;
969 color: var(--text);
970}
971
972.search-results {
973 position: absolute;
974 left: 0;
975 display: none;
976 width: 100%;
977 max-height: calc(100% - var(--search-height));
978 overflow-y: auto;
979 background-color: var(--background);
980 border-bottom-right-radius: 4px;
981 border-bottom-left-radius: 4px;
982 box-shadow: 0 1px 2px rgba(0, 0, 0, 0.12), 0 3px 10px rgba(0, 0, 0, 0.08);
983}
984
985@media (min-width: 919px) {
986 .search-results {
987 top: 100%;
988 width: calc(var(--content-width) - var(--gap) - var(--gap));
989 max-height: calc(100vh - 200%) !important;
990 }
991}
992
993.search-results-list {
994 padding-left: 0;
995 margin-bottom: 0.25rem;
996 list-style: none;
997 font-size: 14px !important;
998}
999
1000@media (min-width: 31.25rem) {
1001 .search-results-list {
1002 font-size: 16px !important;
1003 }
1004}
1005
1006@media (min-width: 919px) {
1007 .search-results-list {
1008 font-size: 12px !important;
1009 }
1010}
1011
1012@media (min-width: 919px) and (min-width: 31.25rem) {
1013 .search-results-list {
1014 font-size: 14px !important;
1015 }
1016}
1017
1018.search-results-list-item {
1019 padding: 0;
1020 margin: 0;
1021}
1022
1023.search-result {
1024 display: block;
1025 padding-top: 0.25rem;
1026 padding-right: 0.75rem;
1027 padding-bottom: 0.25rem;
1028 padding-left: 0.75rem;
1029}
1030
1031.search-result:hover,
1032.search-result.active {
1033 background-color: var(--code-background);
1034}
1035
1036.search-result-title {
1037 display: block;
1038 padding-top: 0.5rem;
1039 padding-bottom: 0.5rem;
1040}
1041
1042@media (min-width: 31.25rem) {
1043 .search-result-title {
1044 display: inline-block;
1045 width: 40%;
1046 padding-right: 0.5rem;
1047 vertical-align: top;
1048 }
1049}
1050
1051.search-result-doc {
1052 display: flex;
1053 align-items: center;
1054 word-wrap: break-word;
1055}
1056
1057.search-result-doc.search-result-doc-parent {
1058 opacity: 0.5;
1059 font-size: 12px !important;
1060}
1061
1062@media (min-width: 31.25rem) {
1063 .search-result-doc.search-result-doc-parent {
1064 font-size: 14px !important;
1065 }
1066}
1067
1068@media (min-width: 919px) {
1069 .search-result-doc.search-result-doc-parent {
1070 font-size: 11px !important;
1071 }
1072}
1073
1074@media (min-width: 919px) and (min-width: 31.25rem) {
1075 .search-result-doc.search-result-doc-parent {
1076 font-size: 12px !important;
1077 }
1078}
1079
1080.search-result-doc .search-result-icon {
1081 width: 1rem;
1082 height: 1rem;
1083 margin-right: 0.5rem;
1084 color: var(--pink);
1085 flex-shrink: 0;
1086}
1087
1088.search-result-doc .search-result-doc-title {
1089 overflow: auto;
1090}
1091
1092.search-result-section {
1093 margin-left: 1.5rem;
1094 word-wrap: break-word;
1095}
1096
1097.search-result-rel-url {
1098 display: block;
1099 margin-left: 1.5rem;
1100 overflow: hidden;
1101 color: var(--text);
1102 text-overflow: ellipsis;
1103 white-space: nowrap;
1104 font-size: 9px !important;
1105}
1106
1107@media (min-width: 31.25rem) {
1108 .search-result-rel-url {
1109 font-size: 10px !important;
1110 }
1111}
1112
1113.search-result-previews {
1114 display: block;
1115 padding-top: 0.5rem;
1116 padding-bottom: 0.5rem;
1117 padding-left: 1rem;
1118 margin-left: 0.5rem;
1119 color: var(--text);
1120 word-wrap: break-word;
1121 border-left: 1px solid;
1122 border-left-color: #eeebee;
1123 font-size: 11px !important;
1124 /* TODO: fix it by not adding at the parent? */
1125 white-space: initial !important;
1126}
1127
1128@media (min-width: 31.25rem) {
1129 .search-result-previews {
1130 font-size: 12px !important;
1131 }
1132}
1133
1134@media (min-width: 31.25rem) {
1135 .search-result-previews {
1136 display: inline-block;
1137 width: 60%;
1138 padding-left: 0.5rem;
1139 margin-left: 0;
1140 vertical-align: top;
1141 }
1142}
1143
1144.search-result-preview + .search-result-preview {
1145 margin-top: 0.25rem;
1146}
1147
1148.search-result-highlight {
1149 font-weight: bold;
1150}
1151
1152.search-no-result {
1153 padding-top: 0.5rem;
1154 padding-right: 0.75rem;
1155 padding-bottom: 0.5rem;
1156 padding-left: 0.75rem;
1157 font-size: 12px !important;
1158}
1159
1160@media (min-width: 31.25rem) {
1161 .search-no-result {
1162 font-size: 14px !important;
1163 }
1164}
1165
1166.search-button {
1167 position: fixed;
1168 right: 1rem;
1169 bottom: 1rem;
1170 display: flex;
1171 width: 3.5rem;
1172 height: 3.5rem;
1173 background-color: var(--background);
1174 border: 1px solid rgba(114, 83, 237, 0.3);
1175 border-radius: 1.75rem;
1176 box-shadow: 0 1px 2px rgba(0, 0, 0, 0.12), 0 3px 10px rgba(0, 0, 0, 0.08);
1177 align-items: center;
1178 justify-content: center;
1179}
1180
1181.search-overlay {
1182 position: fixed;
1183 top: 0;
1184 left: 0;
1185 z-index: 101;
1186 width: 0;
1187 height: 0;
1188 background-color: rgba(0, 0, 0, 0.3);
1189 opacity: 0;
1190 transition: opacity ease 400ms, width 0s 400ms, height 0s 400ms;
1191}
1192
1193.search-active .search {
1194 display: block;
1195 position: fixed;
1196 top: 0;
1197 left: 0;
1198 width: 100%;
1199 height: 100%;
1200 padding: 0;
1201}
1202
1203.search-active .search-input-wrap {
1204 height: var(--search-height);
1205 border-radius: 0;
1206}
1207
1208@media (min-width: 919px) {
1209 .search-active .search-input-wrap {
1210 width: calc(var(--content-width) - var(--gap) - var(--gap));
1211 box-shadow: 0 1px 2px rgba(0, 0, 0, 0.12), 0 3px 10px rgba(0, 0, 0, 0.08);
1212 }
1213}
1214
1215@media (min-width: 919px) {
1216 .search-active .search-label {
1217 padding-left: 0.6rem;
1218 }
1219}
1220
1221.search-active .search-results {
1222 display: block;
1223}
1224
1225.search-active .search-overlay {
1226 width: 100%;
1227 height: 100%;
1228 opacity: 1;
1229 transition: opacity ease 400ms, width 0s, height 0s;
1230}
1231
1232@media (min-width: 919px) {
1233 .search-active .main {
1234 position: fixed;
1235 right: 0;
1236 left: 0;
1237 }
1238}
1239
1240.search-active .main-header {
1241 padding-top: var(--search-height);
1242}
1243
1244@media (min-width: 919px) {
1245 .search-active .main-header {
1246 padding-top: 0;
1247 }
1248}