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