]> git.lizzy.rs Git - rust.git/blob - src/librustdoc/html/static/css/rustdoc.css
Rollup merge of #90028 - tmiasko:structural-match-closure, r=spastorino
[rust.git] / src / librustdoc / html / static / css / rustdoc.css
1 /* See FiraSans-LICENSE.txt for the Fira Sans license. */
2 @font-face {
3         font-family: 'Fira Sans';
4         font-style: normal;
5         font-weight: 400;
6         src: local('Fira Sans'),
7                 url("FiraSans-Regular.woff2") format("woff2"),
8                 url("FiraSans-Regular.woff") format('woff');
9         font-display: swap;
10 }
11 @font-face {
12         font-family: 'Fira Sans';
13         font-style: normal;
14         font-weight: 500;
15         src: local('Fira Sans Medium'),
16                 url("FiraSans-Medium.woff2") format("woff2"),
17                 url("FiraSans-Medium.woff") format('woff');
18         font-display: swap;
19 }
20
21 /* See SourceSerif4-LICENSE.md for the Source Serif 4 license. */
22 @font-face {
23         font-family: 'Source Serif 4';
24         font-style: normal;
25         font-weight: 400;
26         src: local('Source Serif 4'),
27                 url("SourceSerif4-Regular.ttf.woff2") format("woff2"),
28                 url("SourceSerif4-Regular.ttf.woff") format("woff");
29         font-display: swap;
30 }
31 @font-face {
32         font-family: 'Source Serif 4';
33         font-style: italic;
34         font-weight: 400;
35         src: local('Source Serif 4 Italic'),
36                 url("SourceSerif4-It.ttf.woff2") format("woff2"),
37                 url("SourceSerif4-It.ttf.woff") format("woff");
38         font-display: swap;
39 }
40 @font-face {
41         font-family: 'Source Serif 4';
42         font-style: normal;
43         font-weight: 700;
44         src: local('Source Serif 4 Bold'),
45                 url("SourceSerif4-Bold.ttf.woff2") format("woff2"),
46                 url("SourceSerif4-Bold.ttf.woff") format("woff");
47         font-display: swap;
48 }
49
50 /* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
51 @font-face {
52         font-family: 'Source Code Pro';
53         font-style: normal;
54         font-weight: 400;
55         /* Avoid using locally installed font because bad versions are in circulation:
56          * see https://github.com/rust-lang/rust/issues/24355 */
57         src: url("SourceCodePro-Regular.ttf.woff2") format("woff2"),
58                 url("SourceCodePro-Regular.ttf.woff") format("woff");
59         font-display: swap;
60 }
61 @font-face {
62         font-family: 'Source Code Pro';
63         font-style: italic;
64         font-weight: 400;
65         src: url("SourceCodePro-It.ttf.woff2") format("woff2"),
66                 url("SourceCodePro-It.ttf.woff") format("woff");
67         font-display: swap;
68 }
69 @font-face {
70         font-family: 'Source Code Pro';
71         font-style: normal;
72         font-weight: 600;
73         src: url("SourceCodePro-Semibold.ttf.woff2") format("woff2"),
74                 url("SourceCodePro-Semibold.ttf.woff") format("woff");
75         font-display: swap;
76 }
77
78 /* Avoid using legacy CJK serif fonts in Windows like Batang. */
79 @font-face {
80         font-family: 'Noto Sans KR';
81         src: url("noto-sans-kr-regular.woff2") format("woff2"),
82                 url("noto-sans-kr-regular.woff") format("woff");
83         font-display: swap;
84         unicode-range: U+AC00-D7AF, U+3130-318F, U+1100-11FF, U+A960-A97F, U+D7B0-D7FF;
85 }
86
87 * {
88         -webkit-box-sizing: border-box;
89         -moz-box-sizing: border-box;
90         box-sizing: border-box;
91 }
92
93 /* This part handles the "default" theme being used depending on the system one. */
94 html {
95         content: "";
96 }
97 @media (prefers-color-scheme: light) {
98         html {
99                 content: "light";
100         }
101 }
102 @media (prefers-color-scheme: dark) {
103         html {
104                 content: "dark";
105         }
106 }
107
108 /* General structure and fonts */
109
110 body {
111         font: 16px/1.4 "Source Serif 4", "Noto Sans KR", serif;
112         margin: 0;
113         position: relative;
114         padding: 10px 15px 20px 15px;
115
116         -webkit-font-feature-settings: "kern", "liga";
117         -moz-font-feature-settings: "kern", "liga";
118         font-feature-settings: "kern", "liga";
119 }
120
121 h1 {
122         font-size: 1.5em;
123 }
124 h2 {
125         font-size: 1.4em;
126 }
127 h3 {
128         font-size: 1.3em;
129 }
130 h1, h2, h3, h4, h5, h6 {
131         font-weight: 500;
132 }
133 h1, h2, h3, h4 {
134         margin: 20px 0 15px 0;
135         padding-bottom: 6px;
136 }
137 h5, h6 {
138         margin: 15px 0 5px 0;
139 }
140 h1.fqn {
141         display: flex;
142         border-bottom: 1px dashed;
143         margin-top: 0;
144
145         /* workaround to keep flex from breaking below 700 px width due to the float: right on the nav
146            above the h1 */
147         padding-left: 1px;
148 }
149 h1.fqn > .in-band > a:hover {
150         text-decoration: underline;
151 }
152 h2, h3, h4 {
153         border-bottom: 1px solid;
154 }
155 h3.code-header, h4.code-header {
156         font-size: 1em;
157         font-weight: 600;
158         border: none;
159         padding: 0;
160         margin: 0;
161 }
162 .impl,
163 .impl-items .method,
164 .methods .method,
165 .impl-items .type,
166 .methods .type,
167 .impl-items .associatedconstant,
168 .methods .associatedconstant,
169 .impl-items .associatedtype,
170 .methods .associatedtype {
171         flex-basis: 100%;
172         font-weight: 600;
173         margin-top: 16px;
174         margin-bottom: 10px;
175         position: relative;
176 }
177 .impl, .method.trait-impl,
178 .type.trait-impl,
179 .associatedconstant.trait-impl,
180 .associatedtype.trait-impl {
181         padding-left: 15px;
182 }
183
184 div.impl-items > div {
185         padding-left: 0;
186 }
187
188 h1, h2, h3, h4, h5, h6,
189 .sidebar, a.source, .search-input, .search-results .result-name,
190 .content table td:first-child > a,
191 .item-left > a,
192 div.item-list .out-of-band, span.since,
193 #source-sidebar, #sidebar-toggle,
194 details.rustdoc-toggle > summary::before,
195 details.undocumented > summary::before,
196 div.impl-items > div:not(.docblock):not(.item-info),
197 .content ul.crate a.crate, a.srclink,
198 /* This selector is for the items listed in the "all items" page. */
199 #main > ul.docblock > li > a {
200         font-family: "Fira Sans", Arial, sans-serif;
201 }
202
203 .content ul.crate a.crate {
204         font-size: 16px/1.6;
205 }
206
207 ol, ul {
208         padding-left: 25px;
209 }
210 ul ul, ol ul, ul ol, ol ol {
211         margin-bottom: .6em;
212 }
213
214 p {
215         margin: 0 0 .6em 0;
216 }
217
218 summary {
219         outline: none;
220 }
221
222 /* Fix some style changes due to normalize.css 8 */
223
224 td,
225 th {
226         padding: 0;
227 }
228
229 table {
230         border-collapse: collapse;
231 }
232
233 button,
234 input,
235 optgroup,
236 select,
237 textarea {
238         color: inherit;
239         font: inherit;
240         margin: 0;
241 }
242
243 /* end tweaks for normalize.css 8 */
244
245 details:not(.rustdoc-toggle) summary {
246         margin-bottom: .6em;
247 }
248
249 code, pre, a.test-arrow, .code-header {
250         font-family: "Source Code Pro", monospace;
251 }
252 .docblock code, .docblock-short code {
253         border-radius: 3px;
254         padding: 0 0.1em;
255 }
256 .docblock pre code, .docblock-short pre code {
257         padding: 0;
258 }
259 pre {
260         padding: 14px;
261 }
262 .docblock.item-decl {
263         margin-left: 0;
264 }
265 .item-decl pre {
266         overflow-x: auto;
267 }
268
269 .source .content pre {
270         padding: 20px;
271 }
272
273 img {
274         max-width: 100%;
275 }
276
277 li {
278         position: relative;
279 }
280
281 .source .content {
282         margin-top: 50px;
283         max-width: none;
284         overflow: visible;
285         margin-left: 0px;
286 }
287
288 nav.sub {
289         font-size: 16px;
290         text-transform: uppercase;
291 }
292
293 .sidebar {
294         width: 200px;
295         position: fixed;
296         left: 0;
297         top: 0;
298         bottom: 0;
299         overflow: auto;
300 }
301
302 /* Improve the scrollbar display on firefox */
303 * {
304         scrollbar-width: initial;
305 }
306 .sidebar {
307         scrollbar-width: thin;
308 }
309
310 /* Improve the scrollbar display on webkit-based browsers */
311 ::-webkit-scrollbar {
312         width: 12px;
313 }
314 .sidebar::-webkit-scrollbar {
315         width: 8px;
316 }
317 ::-webkit-scrollbar-track {
318         -webkit-box-shadow: inset 0;
319 }
320
321 .sidebar .block > ul > li {
322         margin-right: -10px;
323 }
324
325 .content, nav {
326         max-width: 960px;
327 }
328
329 /* Everything else */
330
331 .hidden {
332         display: none !important;
333 }
334
335 .logo-container {
336         height: 100px;
337         width: 100px;
338         position: relative;
339         margin: 20px auto;
340         display: block;
341         margin-top: 10px;
342 }
343
344 .logo-container > img {
345         max-width: 100px;
346         max-height: 100px;
347         height: 100%;
348         position: absolute;
349         left: 50%;
350         top: 50%;
351         transform: translate(-50%, -50%);
352         display: block;
353 }
354
355 .sidebar .location {
356         border: 1px solid;
357         font-size: 17px;
358         margin: 30px 10px 20px 10px;
359         text-align: center;
360         word-wrap: break-word;
361         font-weight: inherit;
362         padding: 0;
363 }
364
365 .sidebar .version {
366         font-size: 15px;
367         text-align: center;
368         border-bottom: 1px solid;
369         overflow-wrap: break-word;
370         word-wrap: break-word; /* deprecated */
371         word-break: break-word; /* Chrome, non-standard */
372 }
373
374 .location:empty {
375         border: none;
376 }
377
378 .location a:first-of-type {
379         font-weight: 500;
380 }
381 .location a:hover {
382         text-decoration: underline;
383 }
384
385 .block {
386         padding: 0;
387         margin-bottom: 14px;
388 }
389 .block h2, .block h3 {
390         text-align: center;
391 }
392 .block ul, .block li {
393         margin: 0 10px;
394         padding: 0;
395         list-style: none;
396 }
397
398 .block a {
399         display: block;
400         text-overflow: ellipsis;
401         overflow: hidden;
402         line-height: 15px;
403         padding: 7px 5px;
404         font-size: 14px;
405         font-weight: 300;
406         transition: border 500ms ease-out;
407 }
408
409 .sidebar-title {
410         border-top: 1px solid;
411         border-bottom: 1px solid;
412         text-align: center;
413         font-size: 17px;
414         margin-bottom: 5px;
415         font-weight: inherit;
416         padding: 0;
417 }
418
419 .sidebar-links {
420         margin-bottom: 15px;
421 }
422
423 .sidebar-links > a {
424         padding-left: 10px;
425         width: 100%;
426 }
427
428 .sidebar-menu {
429         display: none;
430 }
431
432 .content {
433         padding: 15px 0;
434 }
435
436 .source .content pre.rust {
437         white-space: pre;
438         overflow: auto;
439         padding-left: 0;
440 }
441
442 .rustdoc .example-wrap {
443         display: inline-flex;
444         margin-bottom: 10px;
445 }
446
447 .example-wrap {
448         position: relative;
449         width: 100%;
450 }
451
452 .example-wrap > pre.line-number {
453         overflow: initial;
454         border: 1px solid;
455         padding: 13px 8px;
456         text-align: right;
457         border-top-left-radius: 5px;
458         border-bottom-left-radius: 5px;
459 }
460
461 .example-wrap > pre.rust a:hover {
462         text-decoration: underline;
463 }
464
465 .rustdoc:not(.source) .example-wrap > pre:not(.line-number) {
466         width: 100%;
467         overflow-x: auto;
468 }
469
470 .rustdoc .example-wrap > pre {
471         margin: 0;
472 }
473
474 #search {
475         margin-left: 230px;
476         position: relative;
477 }
478
479 #results > table {
480         width: 100%;
481         table-layout: fixed;
482 }
483
484 .content > .example-wrap pre.line-numbers {
485         position: relative;
486         -webkit-user-select: none;
487         -moz-user-select: none;
488         -ms-user-select: none;
489         user-select: none;
490 }
491 .line-numbers span {
492         cursor: pointer;
493 }
494
495 .docblock-short {
496         overflow-wrap: anywhere;
497 }
498 .docblock-short p {
499         display: inline;
500 }
501
502 .docblock-short p {
503         overflow: hidden;
504         text-overflow: ellipsis;
505         margin: 0;
506 }
507 /* Wrap non-pre code blocks (`text`) but not (```text```). */
508 .docblock > :not(pre) > code,
509 .docblock-short > :not(pre) > code {
510         white-space: pre-wrap;
511 }
512
513 .top-doc .docblock h2 { font-size: 1.3em; }
514 .top-doc .docblock h3 { font-size: 1.15em; }
515 .top-doc .docblock h4,
516 .top-doc .docblock h5 {
517         font-size: 1.1em;
518 }
519 .top-doc .docblock h6 {
520         font-size: 1em;
521 }
522
523 .docblock h5 { font-size: 1em; }
524 .docblock h6 { font-size: 0.95em; }
525
526 .docblock {
527         margin-left: 24px;
528         position: relative;
529 }
530
531 .docblock > * {
532         max-width: 100%;
533         overflow-x: auto;
534 }
535
536 .content .out-of-band {
537         flex-grow: 0;
538         text-align: right;
539         font-size: 23px;
540         margin: 0px;
541         padding: 0 0 0 12px;
542         font-weight: normal;
543 }
544
545 .method > .code-header, .trait-impl > .code-header, .invisible > .code-header {
546         max-width: calc(100% - 41px);
547         display: block;
548 }
549
550 .invisible {
551         width: 100%;
552         display: inline-block;
553 }
554
555 .content .in-band {
556         flex-grow: 1;
557         margin: 0px;
558         padding: 0px;
559         overflow-wrap: anywhere;
560 }
561
562 .in-band > code, .in-band > .code-header {
563         display: inline-block;
564 }
565
566 #main {
567         position: relative;
568 }
569 #main > .since {
570         top: inherit;
571         font-family: "Fira Sans", Arial, sans-serif;
572 }
573
574 .content table:not(.table-display) {
575         border-spacing: 0 5px;
576 }
577 .content td { vertical-align: top; }
578 .content td:first-child { padding-right: 20px; }
579 .content td p:first-child { margin-top: 0; }
580 .content td h1, .content td h2 { margin-left: 0; font-size: 1.1em; }
581 .content tr:first-child td { border-top: 0; }
582
583 .docblock table {
584         margin: .5em 0;
585         width: calc(100% - 2px);
586         overflow-x: auto;
587         display: block;
588 }
589
590 .docblock table td {
591         padding: .5em;
592         border: 1px dashed;
593 }
594
595 .docblock table th {
596         padding: .5em;
597         text-align: left;
598         border: 1px solid;
599 }
600
601 .fields + table {
602         margin-bottom: 1em;
603 }
604
605 .content .item-list {
606         list-style-type: none;
607         padding: 0;
608 }
609
610 .content .multi-column {
611         -moz-column-count: 5;
612         -moz-column-gap: 2.5em;
613         -webkit-column-count: 5;
614         -webkit-column-gap: 2.5em;
615         column-count: 5;
616         column-gap: 2.5em;
617 }
618 .content .multi-column li { width: 100%; display: inline-block; }
619
620 .content > .methods > .method {
621         font-size: 1em;
622         position: relative;
623 }
624 /* Shift "where ..." part of method or fn definition down a line */
625 .content .method .where,
626 .content .fn .where,
627 .content .where.fmt-newline {
628         display: block;
629         font-size: 0.8em;
630 }
631
632 .content .methods > div:not(.notable-traits):not(.method) {
633         margin-left: 40px;
634         margin-bottom: 15px;
635 }
636
637 .content .docblock > .impl-items {
638         margin-left: 20px;
639         margin-top: -34px;
640 }
641 .content .docblock >.impl-items .table-display {
642         margin: 0;
643 }
644 .content .docblock >.impl-items table td {
645         padding: 0;
646 }
647 .content .docblock > .impl-items .table-display, .impl-items table td {
648         border: none;
649 }
650
651 .content .item-info code {
652         font-size: 90%;
653 }
654
655 .content .item-info {
656         position: relative;
657         margin-left: 33px;
658 }
659
660 .sub-variant > div > .item-info {
661         margin-top: initial;
662 }
663
664 .content .item-info::before {
665         content: '⬑';
666         font-size: 25px;
667         position: absolute;
668         top: -6px;
669         left: -19px;
670 }
671
672 .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant,
673 .impl-items > .associatedtype, .content .impl-items details > summary > .type,
674 .impl-items details > summary > .associatedconstant,
675 .impl-items details > summary > .associatedtype {
676         margin-left: 20px;
677 }
678
679 .content .impl-items .docblock, .content .impl-items .item-info {
680         margin-bottom: .6em;
681 }
682
683 .content .impl-items > .item-info {
684         margin-left: 40px;
685 }
686
687 .methods > .item-info, .content .impl-items > .item-info {
688         margin-top: -8px;
689 }
690
691 .impl-items {
692         flex-basis: 100%;
693 }
694
695 #main > .item-info {
696         margin-top: 0;
697 }
698
699 nav:not(.sidebar) {
700         border-bottom: 1px solid;
701         padding-bottom: 10px;
702         margin-bottom: 10px;
703 }
704 nav.main {
705         padding: 20px 0;
706         text-align: center;
707 }
708 nav.main .current {
709         border-top: 1px solid;
710         border-bottom: 1px solid;
711 }
712 nav.main .separator {
713         border: 1px solid;
714         display: inline-block;
715         height: 23px;
716         margin: 0 20px;
717 }
718 nav.sum { text-align: right; }
719 nav.sub form { display: inline; }
720
721 nav.sub, .content {
722         margin-left: 230px;
723 }
724
725 a {
726         text-decoration: none;
727         background: transparent;
728 }
729
730 .small-section-header {
731         display: flex;
732         justify-content: space-between;
733         position: relative;
734 }
735
736 .small-section-header:hover > .anchor {
737         display: initial;
738 }
739
740 .in-band:hover > .anchor, .impl:hover > .anchor, .method.trait-impl:hover > .anchor,
741 .type.trait-impl:hover > .anchor, .associatedconstant.trait-impl:hover > .anchor,
742 .associatedtype.trait-impl:hover > .anchor {
743         display: inline-block;
744         position: absolute;
745 }
746 .anchor {
747         display: none;
748         position: absolute;
749         left: 0;
750         background: none !important;
751 }
752 .anchor.field {
753         left: -5px;
754 }
755 .small-section-header > .anchor {
756         left: -15px;
757         padding-right: 8px;
758 }
759 h2.small-section-header > .anchor {
760         padding-right: 6px;
761 }
762 .anchor::before {
763         content: '§';
764 }
765
766 .docblock a:not(.srclink):not(.test-arrow):hover,
767 .docblock-short a:not(.srclink):not(.test-arrow):hover, .item-info a {
768         text-decoration: underline;
769 }
770
771 .invisible > .srclink,
772 .method > .code-header + .srclink {
773         position: absolute;
774         top: 0;
775         right: 0;
776         font-size: 17px;
777         font-weight: normal;
778 }
779
780 .block a.current.crate { font-weight: 500; }
781
782 .item-table {
783         display: table;
784 }
785 .item-row {
786         display: table-row;
787 }
788 .item-left, .item-right {
789         display: table-cell;
790 }
791 .item-left {
792         padding-right: 1.2rem;
793 }
794
795 .search-container {
796         position: relative;
797 }
798 .search-container > div {
799         display: inline-flex;
800         width: calc(100% - 63px);
801 }
802 #crate-search {
803         min-width: 115px;
804         margin-top: 5px;
805         padding: 6px;
806         padding-right: 19px;
807         flex: none;
808         border: 0;
809         border-right: 0;
810         border-radius: 4px 0 0 4px;
811         outline: none;
812         cursor: pointer;
813         border-right: 1px solid;
814         -moz-appearance: none;
815         -webkit-appearance: none;
816         /* Removes default arrow from firefox */
817         text-indent: 0.01px;
818         text-overflow: "";
819         background-repeat: no-repeat;
820         background-color: transparent;
821         background-size: 20px;
822         background-position: calc(100% - 1px) 56%;
823 }
824 .search-container > .top-button {
825         position: absolute;
826         right: 0;
827         top: 10px;
828 }
829 .search-input {
830         /* Override Normalize.css: we have margins and do
831          not want to overflow - the `moz` attribute is necessary
832          until Firefox 29, too early to drop at this point */
833         -moz-box-sizing: border-box !important;
834         box-sizing: border-box !important;
835         outline: none;
836         border: none;
837         border-radius: 1px;
838         margin-top: 5px;
839         padding: 10px 16px;
840         font-size: 17px;
841         transition: border-color 300ms ease;
842         transition: border-radius 300ms ease-in-out;
843         transition: box-shadow 300ms ease-in-out;
844         width: 100%;
845 }
846
847 #crate-search + .search-input {
848         border-radius: 0 1px 1px 0;
849         width: calc(100% - 32px);
850 }
851
852 .search-input:focus {
853         border-radius: 2px;
854         border: 0;
855         outline: 0;
856 }
857
858 .search-results {
859         display: none;
860         padding-bottom: 2em;
861 }
862
863 .search-results.active {
864         display: block;
865         /* prevent overhanging tabs from moving the first result */
866         clear: both;
867 }
868
869 .search-results .desc > span {
870         white-space: nowrap;
871         text-overflow: ellipsis;
872         overflow: hidden;
873         display: block;
874 }
875
876 .search-results > a {
877         display: block;
878         width: 100%;
879         /* A little margin ensures the browser's outlining of focused links has room to display. */
880         margin-left: 2px;
881         margin-right: 2px;
882         border-bottom: 1px solid #aaa3;
883 }
884
885 .search-results > a > div {
886         display: flex;
887         flex-flow: row wrap;
888 }
889
890 .search-results .result-name, .search-results div.desc, .search-results .result-description {
891         width: 50%;
892 }
893 .search-results .result-name {
894         padding-right: 1em;
895 }
896
897 .search-results .result-name > span {
898         display: inline-block;
899         margin: 0;
900         font-weight: normal;
901 }
902
903 body.blur > :not(#help) {
904         filter: blur(8px);
905         -webkit-filter: blur(8px);
906         opacity: .7;
907 }
908
909 #help {
910         width: 100%;
911         height: 100vh;
912         position: fixed;
913         top: 0;
914         left: 0;
915         display: flex;
916         justify-content: center;
917         align-items: center;
918 }
919 #help > div {
920         flex: 0 0 auto;
921         box-shadow: 0 0 6px rgba(0,0,0,.2);
922         width: 550px;
923         height: auto;
924         border: 1px solid;
925 }
926 #help dt {
927         float: left;
928         clear: left;
929         display: block;
930         margin-right: 0.5rem;
931 }
932 #help span.top, #help span.bottom {
933         text-align: center;
934         display: block;
935         font-size: 18px;
936
937 }
938 #help span.top {
939         text-align: center;
940         display: block;
941         margin: 10px 0;
942         border-bottom: 1px solid;
943         padding-bottom: 4px;
944         margin-bottom: 6px;
945 }
946 #help span.bottom {
947         clear: both;
948         border-top: 1px solid;
949 }
950 #help dd { margin: 5px 35px; }
951 #help .infos { padding-left: 0; }
952 #help h1, #help h2 { margin-top: 0; }
953 #help > div div {
954         width: 50%;
955         float: left;
956         padding: 0 20px 20px 17px;;
957 }
958
959 .item-info .stab {
960         display: table;
961 }
962 .stab {
963         border-width: 1px;
964         border-style: solid;
965         padding: 3px;
966         margin-bottom: 5px;
967         font-size: 90%;
968         font-weight: normal;
969 }
970 .stab p {
971         display: inline;
972 }
973
974 .stab .emoji {
975         font-size: 1.5em;
976 }
977
978 /* Black one-pixel outline around emoji shapes */
979 .emoji {
980         text-shadow:
981                 1px 0 0 black,
982                 -1px 0 0 black,
983                 0  1px 0 black,
984                 0 -1px 0 black;
985 }
986
987 .module-item .stab,
988 .import-item .stab {
989         border-radius: 3px;
990         display: inline-block;
991         font-size: 80%;
992         line-height: 1.2;
993         margin-bottom: 0;
994         margin-left: .3em;
995         padding: 2px;
996         vertical-align: text-bottom;
997 }
998
999 .module-item.unstable,
1000 .import-item.unstable {
1001         opacity: 0.65;
1002 }
1003
1004 .since {
1005         font-weight: normal;
1006         font-size: initial;
1007 }
1008
1009 .impl-items .since, .impl .since, .methods .since {
1010         padding-left: 12px;
1011         padding-right: 2px;
1012         position: initial;
1013 }
1014
1015 .impl-items .srclink, .impl .srclink, .methods .srclink {
1016         /* Override header settings otherwise it's too bold */
1017         font-size: 17px;
1018         font-weight: normal;
1019 }
1020
1021 .rightside {
1022         float: right;
1023 }
1024
1025 .has-srclink {
1026         font-size: 16px;
1027         margin-bottom: 12px;
1028         /* Push the src link out to the right edge consistently */
1029         justify-content: space-between;
1030 }
1031
1032 .variants_table {
1033         width: 100%;
1034 }
1035
1036 .variants_table tbody tr td:first-child {
1037         width: 1%; /* make the variant name as small as possible */
1038 }
1039
1040 td.summary-column {
1041         width: 100%;
1042 }
1043
1044 .summary {
1045         padding-right: 0px;
1046 }
1047
1048 pre.rust .question-mark {
1049         font-weight: bold;
1050 }
1051
1052 a.test-arrow {
1053         display: inline-block;
1054         position: absolute;
1055         padding: 5px 10px 5px 10px;
1056         border-radius: 5px;
1057         font-size: 130%;
1058         top: 5px;
1059         right: 5px;
1060         z-index: 1;
1061 }
1062 a.test-arrow:hover{
1063         text-decoration: none;
1064 }
1065
1066 .section-header:hover a:before {
1067         position: absolute;
1068         left: -25px;
1069         padding-right: 10px; /* avoid gap that causes hover to disappear */
1070         content: '\2002\00a7\2002';
1071 }
1072
1073 .section-header:hover a {
1074         text-decoration: none;
1075 }
1076
1077 .section-header a {
1078         color: inherit;
1079 }
1080
1081 .code-attribute {
1082         font-weight: 300;
1083 }
1084
1085 .since + .srclink {
1086         padding-left: 10px;
1087 }
1088
1089 .item-spacer {
1090         width: 100%;
1091         height: 12px;
1092 }
1093
1094 .out-of-band > span.since {
1095         position: initial;
1096         font-size: 20px;
1097         margin-right: 5px;
1098 }
1099
1100 .sub-variant, .sub-variant > h3 {
1101         margin-top: 0px !important;
1102         padding-top: 1px;
1103 }
1104
1105 #main .sub-variant > h3 {
1106         font-size: 15px;
1107         margin-left: 25px;
1108         margin-bottom: 5px;
1109 }
1110
1111 .sub-variant > div {
1112         margin-left: 20px;
1113         margin-bottom: 10px;
1114 }
1115
1116 .sub-variant > div > span {
1117         display: block;
1118         position: relative;
1119 }
1120
1121 .toggle-label {
1122         display: inline-block;
1123         margin-left: 4px;
1124         margin-top: 3px;
1125 }
1126
1127 .docblock > .section-header:first-child {
1128         margin-left: 15px;
1129         margin-top: 0;
1130 }
1131
1132 .docblock > .section-header:first-child:hover > a:before {
1133         left: -10px;
1134 }
1135
1136 :target > code, :target > .code-header {
1137         opacity: 1;
1138 }
1139
1140 :target {
1141         padding-right: 3px;
1142 }
1143
1144 .information {
1145         position: absolute;
1146         left: -25px;
1147         margin-top: 7px;
1148         z-index: 1;
1149 }
1150
1151 .tooltip {
1152         position: relative;
1153         display: inline-block;
1154         cursor: pointer;
1155 }
1156
1157 .tooltip::after {
1158         display: none;
1159         text-align: center;
1160         padding: 5px 3px 3px 3px;
1161         border-radius: 6px;
1162         margin-left: 5px;
1163         font-size: 16px;
1164 }
1165
1166 .tooltip.ignore::after {
1167         content: "This example is not tested";
1168 }
1169 .tooltip.compile_fail::after {
1170         content: "This example deliberately fails to compile";
1171 }
1172 .tooltip.should_panic::after {
1173         content: "This example panics";
1174 }
1175 .tooltip.edition::after {
1176         content: "This code runs with edition " attr(data-edition);
1177 }
1178
1179 .tooltip::before {
1180         content: " ";
1181         position: absolute;
1182         top: 50%;
1183         left: 16px;
1184         margin-top: -5px;
1185         border-width: 5px;
1186         border-style: solid;
1187         display: none;
1188 }
1189
1190 .tooltip:hover::before, .tooltip:hover::after {
1191         display: inline;
1192 }
1193
1194 .tooltip.compile_fail, .tooltip.should_panic, .tooltip.ignore {
1195         font-weight: bold;
1196         font-size: 20px;
1197 }
1198
1199 .notable-traits-tooltip {
1200         display: inline-block;
1201         cursor: pointer;
1202 }
1203
1204 .notable-traits:hover .notable-traits-tooltiptext,
1205 .notable-traits .notable-traits-tooltiptext.force-tooltip {
1206         display: inline-block;
1207 }
1208
1209 .notable-traits .notable-traits-tooltiptext {
1210         display: none;
1211         padding: 5px 3px 3px 3px;
1212         border-radius: 6px;
1213         margin-left: 5px;
1214         z-index: 10;
1215         font-size: 16px;
1216         cursor: default;
1217         position: absolute;
1218         border: 1px solid;
1219 }
1220
1221 .notable-traits-tooltip::after {
1222         /* The margin on the tooltip does not capture hover events,
1223            this extends the area of hover enough so that mouse hover is not
1224            lost when moving the mouse to the tooltip */
1225         content: "\00a0\00a0\00a0";
1226 }
1227
1228 .notable-traits .notable, .notable-traits .docblock {
1229         margin: 0;
1230 }
1231
1232 .notable-traits .notable {
1233         margin: 0;
1234         margin-bottom: 13px;
1235         font-size: 19px;
1236         font-weight: 600;
1237 }
1238
1239 .notable-traits .docblock code.content{
1240         margin: 0;
1241         padding: 0;
1242         font-size: 20px;
1243 }
1244
1245 /* Example code has the "Run" button that needs to be positioned relative to the pre */
1246 pre.rust.rust-example-rendered {
1247         position: relative;
1248 }
1249
1250 pre.rust {
1251         tab-size: 4;
1252         -moz-tab-size: 4;
1253 }
1254
1255 .search-failed {
1256         text-align: center;
1257         margin-top: 20px;
1258         display: none;
1259 }
1260
1261 .search-failed.active {
1262         display: block;
1263 }
1264
1265 .search-failed > ul {
1266         text-align: left;
1267         max-width: 570px;
1268         margin-left: auto;
1269         margin-right: auto;
1270 }
1271
1272 #titles {
1273         height: 35px;
1274 }
1275
1276 #titles > button {
1277         float: left;
1278         width: 33.3%;
1279         text-align: center;
1280         font-size: 18px;
1281         cursor: pointer;
1282         border: 0;
1283         border-top: 2px solid;
1284 }
1285
1286 #titles > button:not(:last-child) {
1287         margin-right: 1px;
1288         width: calc(33.3% - 1px);
1289 }
1290
1291 #titles > button > div.count {
1292         display: inline-block;
1293         font-size: 16px;
1294 }
1295
1296 .notable-traits {
1297         cursor: pointer;
1298         z-index: 2;
1299         margin-left: 5px;
1300 }
1301
1302 #all-types {
1303         text-align: center;
1304         border: 1px solid;
1305         margin: 0 10px;
1306         margin-bottom: 10px;
1307         display: block;
1308         border-radius: 7px;
1309 }
1310 #all-types > p {
1311         margin: 5px 0;
1312 }
1313
1314 #sidebar-toggle {
1315         position: fixed;
1316         top: 30px;
1317         left: 300px;
1318         z-index: 10;
1319         padding: 3px;
1320         border-top-right-radius: 3px;
1321         border-bottom-right-radius: 3px;
1322         cursor: pointer;
1323         font-weight: bold;
1324         transition: left .5s;
1325         font-size: 1.2em;
1326         border: 1px solid;
1327         border-left: 0;
1328 }
1329 #source-sidebar {
1330         position: fixed;
1331         top: 0;
1332         bottom: 0;
1333         left: 0;
1334         width: 300px;
1335         z-index: 1;
1336         overflow: auto;
1337         transition: left .5s;
1338         border-right: 1px solid;
1339 }
1340 #source-sidebar > .title {
1341         font-size: 1.5em;
1342         text-align: center;
1343         border-bottom: 1px solid;
1344         margin-bottom: 6px;
1345 }
1346
1347 .theme-picker {
1348         position: absolute;
1349         left: 211px;
1350         top: 19px;
1351 }
1352
1353 .theme-picker button {
1354         outline: none;
1355 }
1356
1357 #settings-menu, #help-button {
1358         position: absolute;
1359         top: 10px;
1360 }
1361
1362 #settings-menu {
1363         right: 0;
1364         outline: none;
1365 }
1366
1367 #theme-picker, #settings-menu, #help-button, #copy-path {
1368         padding: 4px;
1369         width: 27px;
1370         height: 29px;
1371         border: 1px solid;
1372         border-radius: 3px;
1373         cursor: pointer;
1374 }
1375
1376 #help-button {
1377         right: 30px;
1378         font-family: "Fira Sans", Arial, sans-serif;
1379         text-align: center;
1380         font-size: 17px;
1381         padding-top: 2px;
1382 }
1383
1384 #copy-path {
1385         background: initial;
1386         margin-left: 10px;
1387         padding: 0;
1388         padding-left: 2px;
1389         border: 0;
1390 }
1391
1392 #theme-choices {
1393         display: none;
1394         position: absolute;
1395         left: 0;
1396         top: 28px;
1397         border: 1px solid;
1398         border-radius: 3px;
1399         z-index: 1;
1400         cursor: pointer;
1401 }
1402
1403 #theme-choices > button {
1404         border: none;
1405         width: 100%;
1406         padding: 4px 8px;
1407         text-align: center;
1408         background: rgba(0,0,0,0);
1409 }
1410
1411 #theme-choices > button:not(:first-child) {
1412         border-top: 1px solid;
1413 }
1414
1415 kbd {
1416         display: inline-block;
1417         padding: 3px 5px;
1418         font: 15px monospace;
1419         line-height: 10px;
1420         vertical-align: middle;
1421         border: solid 1px;
1422         border-radius: 3px;
1423         box-shadow: inset 0 -1px 0;
1424         cursor: default;
1425 }
1426
1427 .hidden-by-impl-hider,
1428 .hidden-by-usual-hider {
1429         /* important because of conflicting rule for small screens */
1430         display: none !important;
1431 }
1432
1433 #implementations-list > h3 > span.in-band {
1434         width: 100%;
1435 }
1436
1437 .table-display {
1438         width: 100%;
1439         border: 0;
1440         border-collapse: collapse;
1441         border-spacing: 0;
1442         font-size: 16px;
1443 }
1444
1445 .table-display tr td:first-child {
1446         padding-right: 0;
1447 }
1448
1449 .table-display tr td:last-child {
1450         float: right;
1451 }
1452 .table-display .out-of-band {
1453         position: relative;
1454         font-size: 19px;
1455         display: block;
1456 }
1457 #implementors-list > .impl-items .table-display .out-of-band {
1458         font-size: 17px;
1459 }
1460
1461 .table-display td:hover .anchor {
1462         display: block;
1463         top: 2px;
1464         left: -5px;
1465 }
1466
1467 #main > ul {
1468         padding-left: 10px;
1469 }
1470 #main > ul > li {
1471         list-style: none;
1472 }
1473
1474 .non-exhaustive {
1475         margin-bottom: 1em;
1476 }
1477
1478 div.children {
1479         padding-left: 27px;
1480         display: none;
1481 }
1482 div.name {
1483         cursor: pointer;
1484         position: relative;
1485         margin-left: 16px;
1486 }
1487 div.files > a {
1488         display: block;
1489         padding: 0 3px;
1490 }
1491 div.files > a:hover, div.name:hover {
1492         background-color: #a14b4b;
1493 }
1494 div.name.expand + .children {
1495         display: block;
1496 }
1497 div.name::before {
1498         content: "\25B6";
1499         padding-left: 4px;
1500         font-size: 0.7em;
1501         position: absolute;
1502         left: -16px;
1503         top: 4px;
1504 }
1505 div.name.expand::before {
1506         transform: rotate(90deg);
1507         left: -15px;
1508         top: 2px;
1509 }
1510
1511 /* The hideme class is used on summary tags that contain a span with
1512         placeholder text shown only when the toggle is closed. For instance,
1513         "Expand description" or "Show methods". */
1514 details.rustdoc-toggle > summary.hideme {
1515         cursor: pointer;
1516 }
1517
1518 details.rustdoc-toggle > summary, details.undocumented > summary {
1519         list-style: none;
1520 }
1521 details.rustdoc-toggle > summary::-webkit-details-marker,
1522 details.rustdoc-toggle > summary::marker,
1523 details.undocumented > summary::-webkit-details-marker,
1524 details.undocumented > summary::marker {
1525         display: none;
1526 }
1527
1528 details.rustdoc-toggle > summary.hideme > span {
1529         margin-left: 9px;
1530 }
1531
1532 details.rustdoc-toggle > summary::before {
1533         content: "";
1534         cursor: pointer;
1535         width: 17px;
1536         height: max(17px, 1.1em);
1537         background-repeat: no-repeat;
1538         background-position: top left;
1539         display: inline-block;
1540         vertical-align: middle;
1541         opacity: .5;
1542 }
1543
1544 /* Screen readers see the text version at the end the line.
1545         Visual readers see the icon at the start of the line, but small and transparent. */
1546 details.rustdoc-toggle > summary::after {
1547         content: "Expand";
1548         overflow: hidden;
1549         width: 0;
1550         height: 0;
1551         position: absolute;
1552 }
1553
1554 details.rustdoc-toggle > summary.hideme::after {
1555         /* "hideme" toggles already have a description when they're contracted */
1556         content: "";
1557 }
1558
1559 details.rustdoc-toggle > summary:focus::before,
1560 details.rustdoc-toggle > summary:hover::before {
1561         opacity: 1;
1562 }
1563
1564 details.rustdoc-toggle.top-doc > summary,
1565 details.rustdoc-toggle.top-doc > summary::before,
1566 details.rustdoc-toggle.non-exhaustive > summary,
1567 details.rustdoc-toggle.non-exhaustive > summary::before {
1568         font-family: 'Fira Sans';
1569         font-size: 16px;
1570 }
1571
1572 details.non-exhaustive {
1573         margin-bottom: 8px;
1574 }
1575
1576 details.rustdoc-toggle > summary.hideme::before {
1577         position: relative;
1578 }
1579
1580 details.rustdoc-toggle > summary:not(.hideme)::before {
1581         position: absolute;
1582         left: -23px;
1583         top: 3px;
1584 }
1585
1586 .impl-items > details.rustdoc-toggle > summary:not(.hideme)::before,
1587 .undocumented > details.rustdoc-toggle > summary:not(.hideme)::before {
1588         position: absolute;
1589         left: -2px;
1590 }
1591
1592 /* When a "hideme" summary is open and the "Expand description" or "Show
1593         methods" text is hidden, we want the [-] toggle that remains to not
1594         affect the layout of the items to its right. To do that, we use
1595         absolute positioning. Note that we also set position: relative
1596         on the parent <details> to make this work properly. */
1597 details.rustdoc-toggle[open] > summary.hideme {
1598         position: absolute;
1599 }
1600
1601 details.rustdoc-toggle, details.undocumented {
1602         position: relative;
1603 }
1604
1605 details.rustdoc-toggle[open] > summary.hideme > span {
1606         display: none;
1607 }
1608
1609 details.rustdoc-toggle[open] > summary::before,
1610 details.rustdoc-toggle[open] > summary.hideme::before {
1611         width: 17px;
1612         height: max(17px, 1.1em);
1613         background-repeat: no-repeat;
1614         background-position: top left;
1615         display: inline-block;
1616         content: "";
1617 }
1618
1619 details.rustdoc-toggle[open] > summary::after,
1620 details.rustdoc-toggle[open] > summary.hideme::after {
1621         content: "Collapse";
1622 }
1623
1624 details.undocumented > summary::before {
1625         padding-left: 17px;
1626         height: max(17px, 1.1em);
1627         background-repeat: no-repeat;
1628         background-position: top left;
1629         content: "Show hidden undocumented items";
1630         cursor: pointer;
1631         font-size: 16px;
1632         font-weight: 300;
1633         opacity: .5;
1634 }
1635
1636 details.undocumented > summary:focus::before,
1637 details.undocumented > summary:hover::before {
1638         opacity: 1;
1639 }
1640
1641 details.undocumented[open] > summary::before {
1642         padding-left: 17px;
1643         height: max(17px, 1.1em);
1644         background-repeat: no-repeat
1645         background-position: top left;
1646         content: "Hide undocumented items";
1647 }
1648
1649 /* Media Queries */
1650
1651 @media (min-width: 701px) {
1652         /* In case there is no documentation before a code block, we need to add some margin at the top
1653         to prevent an overlay between the "collapse toggle" and the information tooltip.
1654         However, it's not needed with smaller screen width because the doc/code block is always put
1655         "one line" below. */
1656         .docblock > .information:first-child > .tooltip {
1657                 margin-top: 16px;
1658         }
1659 }
1660
1661 @media (max-width: 700px) {
1662         body {
1663                 padding-top: 0px;
1664         }
1665
1666         .rustdoc > .sidebar {
1667                 height: 45px;
1668                 min-height: 40px;
1669                 margin: 0;
1670                 margin-left: -15px;
1671                 padding: 0 15px;
1672                 position: static;
1673                 z-index: 11;
1674         }
1675
1676         .sidebar > .location {
1677                 float: right;
1678                 margin: 0px;
1679                 margin-top: 2px;
1680                 padding: 3px 10px 1px 10px;
1681                 min-height: 39px;
1682                 background: inherit;
1683                 text-align: left;
1684                 font-size: 24px;
1685         }
1686
1687         .sidebar .location:empty {
1688                 padding: 0;
1689         }
1690
1691         .sidebar .logo-container {
1692                 width: 35px;
1693                 height: 35px;
1694                 margin-top: 5px;
1695                 margin-bottom: 5px;
1696                 float: left;
1697                 margin-left: 50px;
1698         }
1699
1700         .sidebar .logo-container > img {
1701                 max-width: 35px;
1702                 max-height: 35px;
1703         }
1704
1705         .sidebar-menu {
1706                 position: fixed;
1707                 z-index: 10;
1708                 font-size: 2rem;
1709                 cursor: pointer;
1710                 width: 45px;
1711                 left: 0;
1712                 text-align: center;
1713                 display: block;
1714                 border-bottom: 1px solid;
1715                 border-right: 1px solid;
1716                 height: 45px;
1717         }
1718
1719         .rustdoc.source > .sidebar > .sidebar-menu {
1720                 display: none;
1721         }
1722
1723         /* We do NOT hide this element so that alternative device readers still have this information
1724            available. */
1725         .sidebar-elems {
1726                 position: fixed;
1727                 z-index: 1;
1728                 top: 45px;
1729                 bottom: 0;
1730                 width: 246px;
1731                 /* We move the sidebar to the left by its own width so it doesn't appear. */
1732                 left: -246px;
1733                 overflow-y: auto;
1734                 border-right: 1px solid;
1735         }
1736
1737         .sidebar > .block.version {
1738                 overflow: hidden;
1739                 border-bottom: none;
1740                 margin-bottom: 0;
1741                 height: 100%;
1742                 padding-left: 12px;
1743         }
1744         .sidebar > .block.version > div.narrow-helper {
1745                 float: left;
1746                 width: 1px;
1747                 height: 100%;
1748         }
1749         .sidebar > .block.version > p {
1750                 /* hide Version text if too narrow */
1751                 margin: 0;
1752                 min-width: 55px;
1753                 /* vertically center */
1754                 display: flex;
1755                 align-items: center;
1756                 height: 100%;
1757         }
1758
1759         nav.sub {
1760                 width: calc(100% - 32px);
1761                 float: right;
1762         }
1763
1764         .content {
1765                 margin-left: 0px;
1766         }
1767
1768         #main, #search {
1769                 margin-top: 45px;
1770                 padding: 0;
1771         }
1772
1773         #search {
1774                 margin-left: 0;
1775         }
1776
1777         .anchor {
1778                 display: none !important;
1779         }
1780
1781         .theme-picker {
1782                 left: 10px;
1783                 top: 54px;
1784                 z-index: 1;
1785         }
1786
1787         .notable-traits {
1788                 position: absolute;
1789                 left: -22px;
1790                 top: 24px;
1791         }
1792
1793         #titles > button > div.count {
1794                 float: left;
1795                 width: 100%;
1796         }
1797
1798         #titles {
1799                 height: 50px;
1800         }
1801
1802         .sidebar.mobile {
1803                 position: fixed;
1804                 width: 100%;
1805                 margin-left: 0;
1806                 background-color: rgba(0,0,0,0);
1807                 height: 100%;
1808         }
1809         /*
1810         This allows to prevent the version text to overflow the sidebar title on mobile mode when the
1811         sidebar is displayed (after clicking on the "hamburger" button).
1812         */
1813         .sidebar.mobile > div.version {
1814                 overflow: hidden;
1815                 max-height: 33px;
1816         }
1817         .sidebar {
1818                 width: calc(100% + 30px);
1819         }
1820
1821         .show-it, .sidebar-elems:focus-within {
1822                 z-index:  2;
1823                 left: 0;
1824         }
1825
1826         .show-it > .block.items {
1827                 margin: 8px 0;
1828         }
1829
1830         .show-it > .block.items > ul {
1831                 margin: 0;
1832         }
1833
1834         .show-it > .block.items > ul > li {
1835                 text-align: center;
1836                 margin: 2px 0;
1837         }
1838
1839         .show-it > .block.items > ul > li > a {
1840                 font-size: 21px;
1841         }
1842
1843         /* Because of ios, we need to actually have a full height sidebar title so the
1844          * actual sidebar can show up. But then we need to make it transparent so we don't
1845          * hide content. The filler just allows to create the background for the sidebar
1846          * title. But because of the absolute position, I had to lower the z-index.
1847          */
1848         #sidebar-filler {
1849                 position: fixed;
1850                 left: 45px;
1851                 width: calc(100% - 45px);
1852                 top: 0;
1853                 height: 45px;
1854                 z-index: -1;
1855                 border-bottom: 1px solid;
1856         }
1857
1858         #main > details.rustdoc-toggle > summary::before,
1859         #main > div > details.rustdoc-toggle > summary::before {
1860                 left: -11px;
1861         }
1862
1863         #all-types {
1864                 margin: 10px;
1865         }
1866
1867         #sidebar-toggle {
1868                 top: 100px;
1869                 width: 30px;
1870                 font-size: 1.5rem;
1871                 text-align: center;
1872                 padding: 0;
1873         }
1874
1875         #source-sidebar {
1876                 z-index: 11;
1877         }
1878
1879         #main > .line-numbers {
1880                 margin-top: 0;
1881         }
1882
1883         .notable-traits .notable-traits-tooltiptext {
1884                 left: 0;
1885                 top: 100%;
1886         }
1887
1888         /* We don't display the help button on mobile devices. */
1889         #help-button {
1890                 display: none;
1891         }
1892
1893         /* Display an alternating layout on tablets and phones */
1894         .item-table {
1895                 display: block;
1896         }
1897         .item-row {
1898                 display: flex;
1899                 flex-flow: column wrap;
1900         }
1901         .item-left, .item-right {
1902                 width: 100%;
1903         }
1904
1905         .search-container > div {
1906                 width: calc(100% - 32px);
1907         }
1908
1909         /* Display an alternating layout on tablets and phones */
1910         .search-results > a {
1911                 border-bottom: 1px solid #aaa9;
1912                 padding: 5px 0px;
1913         }
1914         .search-results .result-name, .search-results div.desc, .search-results .result-description {
1915                 width: 100%;
1916         }
1917         .search-results div.desc, .search-results .result-description, .item-right {
1918                 padding-left: 2em;
1919         }
1920 }
1921
1922 @media print {
1923         nav.sub, .content .out-of-band {
1924                 display: none;
1925         }
1926 }
1927
1928 @media (max-width: 464px) {
1929         #titles, #titles > button {
1930                 height: 73px;
1931         }
1932
1933         /* This is to prevent the search bar from being underneath the <section>
1934          * element following it.
1935          */
1936         #main, #search {
1937                 margin-top: 100px;
1938         }
1939
1940         #main > table:not(.table-display) td {
1941                 word-break: break-word;
1942                 width: 50%;
1943         }
1944
1945         .search-container > div {
1946                 display: block;
1947                 width: calc(100% - 37px);
1948         }
1949
1950         #crate-search {
1951                 width: 100%;
1952                 border-radius: 4px;
1953                 border: 0;
1954         }
1955
1956         #crate-search + .search-input {
1957                 width: calc(100% + 71px);
1958                 margin-left: -36px;
1959         }
1960
1961         #theme-picker, #settings-menu {
1962                 padding: 5px;
1963                 width: 31px;
1964                 height: 31px;
1965         }
1966
1967         #theme-picker {
1968                 margin-top: -2px;
1969         }
1970
1971         #settings-menu {
1972                 top: 7px;
1973         }
1974
1975         .docblock {
1976                 margin-left: 12px;
1977         }
1978
1979         .docblock code {
1980                 overflow-wrap: anywhere;
1981         }
1982 }