src/librustdoc/html/static/rustdoc.css

   1 /**
   2  * Copyright 2013 The Rust Project Developers. See the COPYRIGHT
   3  * file at the top-level directory of this distribution and at
   4  * http://rust-lang.org/COPYRIGHT.
   5  *
   6  * Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   7  * http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   8  * <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   9  * option. This file may not be copied, modified, or distributed
  10  * except according to those terms.
  11  */
  12
  13 /* See FiraSans-LICENSE.txt for the Fira Sans license. */
  14 @font-face {
  15         font-family: 'Fira Sans';
  16         font-style: normal;
  17         font-weight: 400;
  18         src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff');
  19 }
  20 @font-face {
  21         font-family: 'Fira Sans';
  22         font-style: normal;
  23         font-weight: 500;
  24         src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff');
  25 }
  26
  27 /* See SourceSerifPro-LICENSE.txt for the Source Serif Pro license and
  28  * Heuristica-LICENSE.txt for the Heuristica license. */
  29 @font-face {
  30         font-family: 'Source Serif Pro';
  31         font-style: normal;
  32         font-weight: 400;
  33         src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff');
  34 }
  35 @font-face {
  36         font-family: 'Source Serif Pro';
  37         font-style: italic;
  38         font-weight: 400;
  39         src: url("Heuristica-Italic.woff") format('woff');
  40 }
  41 @font-face {
  42         font-family: 'Source Serif Pro';
  43         font-style: normal;
  44         font-weight: 700;
  45         src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff');
  46 }
  47
  48 /* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
  49 @font-face {
  50         font-family: 'Source Code Pro';
  51         font-style: normal;
  52         font-weight: 400;
  53         /* Avoid using locally installed font because bad versions are in circulation:
  54          * see https://github.com/rust-lang/rust/issues/24355 */
  55         src: url("SourceCodePro-Regular.woff") format('woff');
  56 }
  57 @font-face {
  58         font-family: 'Source Code Pro';
  59         font-style: normal;
  60         font-weight: 600;
  61         src: url("SourceCodePro-Semibold.woff") format('woff');
  62 }
  63
  64 * {
  65   -webkit-box-sizing: border-box;
  66          -moz-box-sizing: border-box;
  67                   box-sizing: border-box;
  68 }
  69
  70 /* General structure and fonts */
  71
  72 body {
  73         font: 16px/1.4 "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
  74         margin: 0;
  75         position: relative;
  76         padding: 10px 15px 20px 15px;
  77
  78         -webkit-font-feature-settings: "kern", "liga";
  79         -moz-font-feature-settings: "kern", "liga";
  80         font-feature-settings: "kern", "liga";
  81 }
  82
  83 h1 {
  84         font-size: 1.5em;
  85 }
  86 h2 {
  87         font-size: 1.4em;
  88 }
  89 h3 {
  90         font-size: 1.3em;
  91 }
  92 h1, h2, h3:not(.impl):not(.method):not(.type):not(.tymethod):not(.important), h4:not(.method):not(.type):not(.tymethod):not(.associatedconstant) {
  93         font-weight: 500;
  94         margin: 20px 0 15px 0;
  95         padding-bottom: 6px;
  96 }
  97 h1.fqn {
  98         border-bottom: 1px dashed;
  99         margin-top: 0;
 100         position: relative;
 101 }
 102 h2, h3:not(.impl):not(.method):not(.type):not(.tymethod), h4:not(.method):not(.type):not(.tymethod):not(.associatedconstant) {
 103         border-bottom: 1px solid;
 104 }
 105 h3.impl, h3.method, h4.method, h3.type, h4.type, h4.associatedconstant {
 106         font-weight: 600;
 107         margin-top: 10px;
 108         margin-bottom: 10px;
 109         position: relative;
 110 }
 111 h3.impl, h3.method, h3.type {
 112         padding-left: 15px;
 113 }
 114
 115 h1, h2, h3, h4,
 116 .sidebar, a.source, .search-input, .content table :not(code)>a,
 117 .collapse-toggle, ul.item-list > li > .out-of-band {
 118         font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
 119 }
 120
 121 ol, ul {
 122         padding-left: 25px;
 123 }
 124 ul ul, ol ul, ul ol, ol ol {
 125         margin-bottom: 0;
 126 }
 127
 128 p {
 129         margin: 0 0 .6em 0;
 130 }
 131
 132 summary {
 133         outline: none;
 134 }
 135
 136 code, pre {
 137         font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", Inconsolata, monospace;
 138         white-space: pre-wrap;
 139 }
 140 .docblock code, .docblock-short code {
 141         border-radius: 3px;
 142         padding: 0 0.2em;
 143 }
 144 .docblock pre code, .docblock-short pre code, .docblock code.spotlight {
 145         padding: 0;
 146 }
 147 .docblock code.spotlight :last-child {
 148         padding-bottom: 0.6em;
 149 }
 150 pre {
 151         padding: 14px;
 152 }
 153
 154 .source .content pre {
 155         padding: 20px;
 156 }
 157
 158 img {
 159         max-width: 100%;
 160 }
 161
 162 .source .content {
 163         margin-top: 50px;
 164         max-width: none;
 165         overflow: visible;
 166         margin-left: 0px;
 167         min-width: 70em;
 168 }
 169
 170 nav.sub {
 171         font-size: 16px;
 172         text-transform: uppercase;
 173 }
 174
 175 .sidebar {
 176         width: 200px;
 177         position: fixed;
 178         left: 0;
 179         top: 0;
 180         height: 100vh;
 181         overflow: auto;
 182 }
 183
 184 .sidebar .block > ul > li {
 185         margin-right: -10px;
 186 }
 187
 188 .content, nav {
 189         max-width: 960px;
 190 }
 191
 192 /* Everything else */
 193
 194 .js-only, .hidden {
 195         display: none !important;
 196 }
 197
 198 .sidebar img {
 199         margin: 20px auto;
 200         display: block;
 201         margin-top: 10px;
 202 }
 203
 204 .sidebar .location {
 205         border: 1px solid;
 206         font-size: 17px;
 207         margin: 30px 10px 20px 10px;
 208         text-align: center;
 209         word-wrap: break-word;
 210 }
 211
 212 .sidebar .version {
 213         font-size: 15px;
 214         text-align: center;
 215         border-bottom: 1px solid;
 216         overflow-wrap: break-word;
 217         word-wrap: break-word; /* deprecated */
 218         word-break: break-word; /* Chrome, non-standard */
 219 }
 220
 221 .location:empty {
 222         border: none;
 223 }
 224
 225 .location a:first-child {
 226         font-weight: 500;
 227 }
 228
 229 .block {
 230         padding: 0;
 231         margin-bottom: 14px;
 232 }
 233 .block h2, .block h3 {
 234         margin-top: 0;
 235         margin-bottom: 8px;
 236         text-align: center;
 237 }
 238 .block ul, .block li {
 239         margin: 0 10px;
 240         padding: 0;
 241         list-style: none;
 242 }
 243
 244 .block a {
 245         display: block;
 246         text-overflow: ellipsis;
 247         overflow: hidden;
 248         line-height: 15px;
 249         padding: 7px 5px;
 250         font-size: 14px;
 251         font-weight: 300;
 252         transition: border 500ms ease-out;
 253 }
 254
 255 .sidebar-title {
 256         border-top: 1px solid;
 257         border-bottom: 1px solid;
 258         text-align: center;
 259         font-size: 17px;
 260         margin-bottom: 5px;
 261 }
 262
 263 .sidebar-links {
 264         margin-bottom: 15px;
 265 }
 266
 267 .sidebar-links > a {
 268         padding-left: 10px;
 269         width: 100%;
 270 }
 271
 272 .sidebar-menu {
 273         display: none;
 274 }
 275
 276 .content {
 277         padding: 15px 0;
 278 }
 279
 280 .source .content pre.rust {
 281         white-space: pre;
 282         overflow: auto;
 283         padding-left: 0;
 284 }
 285
 286 #search {
 287         margin-left: 230px;
 288         position: relative;
 289 }
 290
 291 #results {
 292         position: absolute;
 293         right: 0;
 294         left: 0;
 295         overflow: auto;
 296 }
 297
 298 #results > table {
 299         width: 100%;
 300         table-layout: fixed;
 301 }
 302
 303 .content pre.line-numbers {
 304         float: left;
 305         border: none;
 306         position: relative;
 307
 308         -webkit-user-select: none;
 309         -moz-user-select: none;
 310         -ms-user-select: none;
 311         user-select: none;
 312 }
 313 .line-numbers span {
 314         cursor: pointer;
 315 }
 316
 317 .docblock-short p {
 318         display: inline;
 319 }
 320
 321 .docblock-short.nowrap {
 322         display: block;
 323         overflow: hidden;
 324         white-space: nowrap;
 325         text-overflow: ellipsis;
 326 }
 327
 328 .docblock-short p {
 329         overflow: hidden;
 330         text-overflow: ellipsis;
 331         margin: 0;
 332 }
 333 .docblock-short code {
 334         white-space: nowrap;
 335 }
 336
 337 .docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 {
 338         border-bottom: 1px solid;
 339 }
 340
 341 #main > .docblock h1 { font-size: 1.3em; }
 342 #main > .docblock h2 { font-size: 1.15em; }
 343 #main > .docblock h3, #main > .docblock h4, #main > .docblock h5 { font-size: 1em; }
 344
 345 .docblock h1 { font-size: 1em; }
 346 .docblock h2 { font-size: 0.95em; }
 347 .docblock h3, .docblock h4, .docblock h5 { font-size: 0.9em; }
 348
 349 .docblock {
 350         margin-left: 24px;
 351         position: relative;
 352 }
 353
 354 .content .out-of-band {
 355         font-size: 23px;
 356         margin: 0px;
 357         padding: 0px;
 358         text-align: right;
 359         display: inline-block;
 360         font-weight: normal;
 361         position: absolute;
 362         right: 0;
 363 }
 364
 365 h3.impl > .out-of-band {
 366         font-size: 21px;
 367 }
 368
 369 h4.method > .out-of-band {
 370         font-size: 19px;
 371 }
 372
 373 ul.item-list > li > .out-of-band {
 374         font-size: 19px;
 375 }
 376
 377 h4 > code, h3 > code, .invisible > code {
 378         max-width: calc(100% - 41px);
 379         display: block;
 380 }
 381
 382 .in-band, code {
 383         z-index: 5;
 384 }
 385
 386 .invisible {
 387         width: 100%;
 388         display: inline-block;
 389 }
 390
 391 .content .in-band {
 392         margin: 0px;
 393         padding: 0px;
 394 }
 395
 396 .in-band > code {
 397         display: inline-block;
 398 }
 399
 400 #main {
 401         position: relative;
 402 }
 403 #main > .since {
 404         top: inherit;
 405         font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
 406 }
 407
 408 .content table:not(.table-display) {
 409         border-spacing: 0 5px;
 410 }
 411 .content td { vertical-align: top; }
 412 .content td:first-child { padding-right: 20px; }
 413 .content td p:first-child { margin-top: 0; }
 414 .content td h1, .content td h2 { margin-left: 0; font-size: 1.1em; }
 415 .content tr:first-child td { border-top: 0; }
 416
 417 .docblock table {
 418         margin: .5em 0;
 419         width: 100%;
 420 }
 421
 422 .docblock table td {
 423         padding: .5em;
 424         border: 1px dashed;
 425 }
 426
 427 .docblock table th {
 428         padding: .5em;
 429         text-align: left;
 430         border: 1px solid;
 431 }
 432
 433 .fields + table {
 434         margin-bottom: 1em;
 435 }
 436
 437 .content .item-list {
 438         list-style-type: none;
 439         padding: 0;
 440 }
 441
 442 .content .item-list li {
 443         margin-bottom: 1em;
 444 }
 445
 446 .content .multi-column {
 447         -moz-column-count: 5;
 448         -moz-column-gap: 2.5em;
 449         -webkit-column-count: 5;
 450         -webkit-column-gap: 2.5em;
 451         column-count: 5;
 452         column-gap: 2.5em;
 453 }
 454 .content .multi-column li { width: 100%; display: inline-block; }
 455
 456 .content .method {
 457         font-size: 1em;
 458         position: relative;
 459 }
 460 /* Shift "where ..." part of method or fn definition down a line */
 461 .content .method .where,
 462 .content .fn .where,
 463 .content .where.fmt-newline {
 464         display: block;
 465         font-size: 0.8em;
 466 }
 467
 468 .content .methods > div:not(.important-traits) {
 469         margin-left: 40px;
 470         margin-bottom: 15px;
 471 }
 472
 473 .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant {
 474         margin-left: 20px;
 475 }
 476 .content .impl-items .docblock, .content .impl-items .stability {
 477         margin-bottom: .6em;
 478 }
 479 .content .docblock > .impl-items {
 480         margin-left: 20px;
 481         margin-top: -34px;
 482 }
 483 .content .docblock > .impl-items > h4 {
 484         border-bottom: 0;
 485 }
 486 .content .docblock >.impl-items .table-display {
 487         margin: 0;
 488 }
 489 .content .docblock >.impl-items table td {
 490         padding: 0;
 491 }
 492 .toggle-wrapper.marg-left > .collapse-toggle {
 493         left: -24px;
 494 }
 495 .content .docblock > .impl-items .table-display, .impl-items table td {
 496         border: none;
 497 }
 498
 499 .content .stability code {
 500         font-size: 90%;
 501 }
 502
 503 nav {
 504         border-bottom: 1px solid;
 505         padding-bottom: 10px;
 506         margin-bottom: 10px;
 507 }
 508 nav.main {
 509         padding: 20px 0;
 510         text-align: center;
 511 }
 512 nav.main .current {
 513         border-top: 1px solid;
 514         border-bottom: 1px solid;
 515 }
 516 nav.main .separator {
 517         border: 1px solid;
 518         display: inline-block;
 519         height: 23px;
 520         margin: 0 20px;
 521 }
 522 nav.sum { text-align: right; }
 523 nav.sub form { display: inline; }
 524
 525 nav.sub, .content {
 526         margin-left: 230px;
 527 }
 528
 529 a {
 530         text-decoration: none;
 531         background: transparent;
 532 }
 533
 534 .small-section-header:hover > .anchor {
 535         display: initial;
 536 }
 537
 538 .in-band:hover > .anchor {
 539         display: inline-block;
 540         position: absolute;
 541 }
 542 .anchor {
 543         display: none;
 544         position: absolute;
 545         left: -7px;
 546 }
 547 .anchor.field {
 548         left: -5px;
 549 }
 550 .small-section-header > .anchor {
 551         left: -20px;
 552 }
 553 .small-section-header > .anchor:not(.field) {
 554         left: -28px;
 555 }
 556 .anchor:before {
 557         content: '\2002\00a7\2002';
 558 }
 559
 560 .docblock a:not(.srclink):not(.test-arrow):hover,
 561 .docblock-short a:not(.srclink):not(.test-arrow):hover, .stability a {
 562         text-decoration: underline;
 563 }
 564
 565 .block a.current.crate { font-weight: 500; }
 566
 567 .search-container {
 568         position: relative;
 569 }
 570 .search-container > .top-button {
 571         position: absolute;
 572         right: 0;
 573         top: 10px;
 574 }
 575 .search-input {
 576         width: calc(100% - 34px);
 577         /* Override Normalize.css: we have margins and do
 578          not want to overflow - the `moz` attribute is necessary
 579          until Firefox 29, too early to drop at this point */
 580         -moz-box-sizing: border-box !important;
 581         box-sizing: border-box !important;
 582         outline: none;
 583         border: none;
 584         border-radius: 1px;
 585         margin-top: 5px;
 586         padding: 10px 16px;
 587         font-size: 17px;
 588         transition: border-color 300ms ease;
 589         transition: border-radius 300ms ease-in-out;
 590         transition: box-shadow 300ms ease-in-out;
 591 }
 592
 593 .search-input:focus {
 594         border-radius: 2px;
 595         border: 0;
 596         outline: 0;
 597         box-shadow: 0 0 8px #078dd8;
 598 }
 599
 600 .search-results .desc {
 601         white-space: nowrap;
 602         text-overflow: ellipsis;
 603         overflow: hidden;
 604         display: block;
 605 }
 606
 607 .search-results a {
 608         display: block;
 609 }
 610
 611 .content .search-results td:first-child {
 612         padding-right: 0;
 613         width: 75%;
 614 }
 615 .content .search-results td:first-child a {
 616         padding-right: 10px;
 617 }
 618 .content .search-results td:first-child a span {
 619         float: left;
 620 }
 621
 622 tr.result span.primitive::after {
 623         content: ' (primitive type)';
 624         font-style: italic;
 625 }
 626
 627 tr.result span.keyword::after {
 628         content: ' (keyword)';
 629         font-style: italic;
 630 }
 631
 632 body.blur > :not(#help) {
 633         filter: blur(8px);
 634         -webkit-filter: blur(8px);
 635         opacity: .7;
 636 }
 637
 638 #help {
 639         width: 100%;
 640         height: 100vh;
 641         position: fixed;
 642         top: 0;
 643         left: 0;
 644         display: flex;
 645         justify-content: center;
 646         align-items: center;
 647 }
 648 #help > div {
 649         flex: 0 0 auto;
 650         box-shadow: 0 0 6px rgba(0,0,0,.2);
 651         width: 550px;
 652         height: auto;
 653         border: 1px solid;
 654 }
 655 #help dt {
 656         float: left;
 657         clear: left;
 658         display: block;
 659 }
 660 #help dd { margin: 5px 35px; }
 661 #help .infos { padding-left: 0; }
 662 #help h1, #help h2 { margin-top: 0; }
 663 #help > div div {
 664         width: 50%;
 665         float: left;
 666         padding: 20px;
 667         padding-left: 17px;
 668 }
 669
 670 .stab {
 671         display: table;
 672         border-width: 1px;
 673         border-style: solid;
 674         padding: 3px;
 675         margin-bottom: 5px;
 676         font-size: 90%;
 677 }
 678 .stab p {
 679         display: inline;
 680 }
 681
 682 .stab summary {
 683         display: list-item;
 684 }
 685
 686 .stab .microscope {
 687         font-size: 1.5em;
 688 }
 689
 690 .module-item .stab {
 691         display: inline;
 692         border-width: 0;
 693         padding: 0;
 694         margin: 0;
 695         background: inherit !important;
 696 }
 697
 698 .module-item.unstable {
 699         opacity: 0.65;
 700 }
 701
 702 .since {
 703         font-weight: normal;
 704         font-size: initial;
 705         position: absolute;
 706         right: 0;
 707         top: 0;
 708 }
 709
 710 .variants_table {
 711         width: 100%;
 712 }
 713
 714 .variants_table tbody tr td:first-child {
 715         width: 1%; /* make the variant name as small as possible */
 716 }
 717
 718 td.summary-column {
 719         width: 100%;
 720 }
 721
 722 .summary {
 723         padding-right: 0px;
 724 }
 725
 726 pre.rust .question-mark {
 727         font-weight: bold;
 728 }
 729
 730 a.test-arrow {
 731         display: inline-block;
 732         position: absolute;
 733         padding: 5px 10px 5px 10px;
 734         border-radius: 5px;
 735         font-size: 130%;
 736         top: 5px;
 737         right: 5px;
 738 }
 739 a.test-arrow:hover{
 740         text-decoration: none;
 741 }
 742
 743 .section-header:hover a:before {
 744         position: absolute;
 745         left: -25px;
 746         content: '\2002\00a7\2002';
 747 }
 748
 749 .section-header:hover a {
 750         text-decoration: none;
 751 }
 752
 753 .section-header a {
 754         color: inherit;
 755 }
 756
 757 .collapse-toggle {
 758         font-weight: 300;
 759         position: absolute;
 760         left: -23px;
 761         top: 0;
 762 }
 763
 764 h3 > .collapse-toggle, h4 > .collapse-toggle {
 765         font-size: 0.8em;
 766         top: 5px;
 767 }
 768
 769 .toggle-wrapper > .collapse-toggle {
 770         left: -24px;
 771         margin-top: 0px;
 772 }
 773
 774 .toggle-wrapper {
 775         position: relative;
 776         margin-top: 0;
 777 }
 778
 779 .toggle-wrapper.collapsed {
 780         height: 25px;
 781         transition: height .2s;
 782         margin-bottom: .6em;
 783 }
 784
 785 .collapse-toggle > .inner {
 786         display: inline-block;
 787         width: 1.2ch;
 788         text-align: center;
 789 }
 790
 791 .ghost {
 792         display: none;
 793 }
 794
 795 .ghost + .since {
 796         position: initial;
 797         display: table-cell;
 798 }
 799
 800 .since + .srclink {
 801         display: table-cell;
 802         padding-left: 10px;
 803 }
 804
 805 .item-spacer {
 806         width: 100%;
 807         height: 12px;
 808 }
 809
 810 span.since {
 811         position: initial;
 812         font-size: 20px;
 813         margin-right: 5px;
 814 }
 815
 816 .toggle-wrapper > .collapse-toggle {
 817         left: 0;
 818 }
 819
 820 .variant + .toggle-wrapper + .docblock > p {
 821         margin-top: 5px;
 822 }
 823
 824 .sub-variant, .sub-variant > h3 {
 825         margin-top: 0 !important;
 826 }
 827
 828 .toggle-label {
 829         display: inline-block;
 830         margin-left: 4px;
 831         margin-top: 3px;
 832 }
 833
 834 .enum > .toggle-wrapper + .docblock, .struct > .toggle-wrapper + .docblock {
 835         margin-left: 30px;
 836         margin-bottom: 20px;
 837         margin-top: 5px;
 838 }
 839
 840 .docblock > .section-header:first-child {
 841         margin-left: 15px;
 842         margin-top: 0;
 843 }
 844
 845 .docblock > .section-header:first-child:hover > a:before {
 846         left: -10px;
 847 }
 848
 849 .enum > .collapsed, .struct > .collapsed {
 850         margin-bottom: 25px;
 851 }
 852
 853 #main > .variant, #main > .structfield {
 854         display: block;
 855 }
 856
 857 .attributes {
 858         display: block;
 859         margin-top: 0px !important;
 860         margin-right: 0px;
 861         margin-bottom: 0px !important;
 862         margin-left: 30px;
 863 }
 864 .toggle-attributes.collapsed {
 865         margin-bottom: 0;
 866 }
 867 .impl-items > .toggle-attributes {
 868         margin-left: 20px;
 869 }
 870 .impl-items .attributes {
 871         font-weight: 500;
 872 }
 873
 874 :target > code {
 875         opacity: 1;
 876 }
 877
 878 /* Media Queries */
 879
 880 @media (max-width: 700px) {
 881         body {
 882                 padding-top: 0px;
 883         }
 884
 885         .sidebar {
 886                 height: 45px;
 887                 min-height: 40px;
 888                 width: calc(100% + 30px);
 889                 margin: 0;
 890                 margin-left: -15px;
 891                 padding: 0 15px;
 892                 position: static;
 893                 z-index: 1;
 894         }
 895
 896         .sidebar > .location {
 897                 float: right;
 898                 margin: 0px;
 899                 margin-top: 2px;
 900                 padding: 3px 10px 1px 10px;
 901                 min-height: 39px;
 902                 background: inherit;
 903                 text-align: left;
 904                 font-size: 24px;
 905         }
 906
 907         .sidebar .location:empty {
 908                 padding: 0;
 909         }
 910
 911         .sidebar img {
 912                 width: 35px;
 913                 margin-top: 5px;
 914                 margin-bottom: 5px;
 915                 float: left;
 916                 margin-left: 50px;
 917         }
 918
 919         .sidebar-menu {
 920                 position: fixed;
 921                 z-index: 10;
 922                 font-size: 2rem;
 923                 cursor: pointer;
 924                 width: 45px;
 925                 left: 0;
 926                 text-align: center;
 927                 display: block;
 928                 border-bottom: 1px solid;
 929                 border-right: 1px solid;
 930                 height: 45px;
 931         }
 932
 933         .sidebar-elems {
 934                 position: fixed;
 935                 z-index: 1;
 936                 left: 0;
 937                 top: 45px;
 938                 bottom: 0;
 939                 overflow-y: auto;
 940                 border-right: 1px solid;
 941                 display: none;
 942         }
 943
 944         .sidebar > .block.version {
 945                 border-bottom: none;
 946                 margin-top: 12px;
 947         }
 948
 949         nav.sub {
 950                 width: calc(100% - 32px);
 951                 float: right;
 952         }
 953
 954         .content {
 955                 margin-left: 0px;
 956         }
 957
 958         #main {
 959                 margin-top: 45px;
 960                 padding: 0;
 961         }
 962
 963         .content .in-band {
 964                 width: 100%;
 965         }
 966
 967         .content h4 > .out-of-band {
 968                 position: inherit;
 969         }
 970
 971         .toggle-wrapper > .collapse-toggle {
 972                 left: 0px;
 973         }
 974
 975         .toggle-wrapper {
 976                 height: 1.5em;
 977         }
 978
 979         #search {
 980                 margin-left: 0;
 981         }
 982
 983         .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant {
 984                 display: flex;
 985         }
 986
 987         .anchor {
 988                 display: none !important;
 989         }
 990 }
 991
 992 @media print {
 993         nav.sub, .content .out-of-band, .collapse-toggle {
 994                 display: none;
 995         }
 996 }
 997
 998 .information {
 999         position: absolute;
1000         left: -20px;
1001         margin-top: 7px;
1002         z-index: 1;
1003 }
1004
1005 .tooltip {
1006         position: relative;
1007         display: inline-block;
1008         cursor: pointer;
1009 }
1010
1011 .tooltip .tooltiptext {
1012         width: 120px;
1013         display: none;
1014         text-align: center;
1015         padding: 5px 3px;
1016         border-radius: 6px;
1017         margin-left: 5px;
1018         top: -5px;
1019         left: 105%;
1020         z-index: 1;
1021 }
1022
1023 .tooltip:hover .tooltiptext {
1024         display: inline;
1025 }
1026
1027 .tooltip .tooltiptext::after {
1028         content: " ";
1029         position: absolute;
1030         top: 50%;
1031         left: 11px;
1032         margin-top: -5px;
1033         border-width: 5px;
1034         border-style: solid;
1035 }
1036
1037 .important-traits .tooltip .tooltiptext {
1038         border: 1px solid;
1039 }
1040
1041 pre.rust {
1042         position: relative;
1043         tab-width: 4;
1044         -moz-tab-width: 4;
1045 }
1046
1047 .search-failed {
1048         text-align: center;
1049         margin-top: 20px;
1050 }
1051
1052 #titles {
1053         height: 35px;
1054 }
1055
1056 #titles > div {
1057         float: left;
1058         width: 33.3%;
1059         text-align: center;
1060         border-bottom: 1px solid;
1061         font-size: 18px;
1062         cursor: pointer;
1063 }
1064
1065 #titles > div.selected {
1066         border-bottom: 3px solid;
1067 }
1068
1069 #titles > div:hover {
1070         border-bottom: 3px solid;
1071 }
1072
1073 #titles > div > div.count {
1074         display: inline-block;
1075         font-size: 16px;
1076 }
1077
1078 .important-traits {
1079         cursor: pointer;
1080         z-index: 2;
1081 }
1082
1083 h4 > .important-traits {
1084         position: absolute;
1085         left: -44px;
1086         top: 2px;
1087 }
1088
1089 @media (max-width: 700px) {
1090         h4 > .important-traits {
1091                 position: absolute;
1092                 left: -22px;
1093                 top: 24px;
1094         }
1095
1096         #titles > div > div.count {
1097                 float: left;
1098                 width: 100%;
1099         }
1100
1101         #titles {
1102                 height: 50px;
1103         }
1104
1105         .sidebar.mobile {
1106                 position: fixed;
1107                 width: 100%;
1108                 margin-left: 0;
1109                 background-color: rgba(0,0,0,0);
1110                 height: 100%;
1111         }
1112
1113         .show-it {
1114                 display: block;
1115                 width: 246px;
1116         }
1117
1118         .show-it > .block.items {
1119                 margin: 8px 0;
1120         }
1121
1122         .show-it > .block.items > ul {
1123                 margin: 0;
1124         }
1125
1126         .show-it > .block.items > ul > li {
1127                 text-align: center;
1128                 margin: 2px 0;
1129         }
1130
1131         .show-it > .block.items > ul > li > a {
1132                 font-size: 21px;
1133         }
1134
1135         /* Because of ios, we need to actually have a full height sidebar title so the
1136          * actual sidebar can show up. But then we need to make it transparent so we don't
1137          * hide content. The filler just allows to create the background for the sidebar
1138          * title. But because of the absolute position, I had to lower the z-index.
1139          */
1140         #sidebar-filler {
1141                 position: fixed;
1142                 left: 45px;
1143                 width: calc(100% - 45px);
1144                 top: 0;
1145                 height: 45px;
1146                 z-index: -1;
1147                 border-bottom: 1px solid;
1148         }
1149
1150         .collapse-toggle {
1151                 left: -20px;
1152         }
1153
1154         .impl > .collapse-toggle {
1155                 left: -10px;
1156         }
1157 }
1158
1159
1160 @media (max-width: 416px) {
1161         #titles {
1162                 height: 73px;
1163         }
1164
1165         #titles > div {
1166                 height: 73px;
1167         }
1168 }
1169
1170 .modal {
1171         position: fixed;
1172         width: 100vw;
1173         height: 100vh;
1174         z-index: 10000;
1175         top: 0;
1176         left: 0;
1177 }
1178
1179 .modal-content {
1180         display: block;
1181         max-width: 60%;
1182         min-width: 200px;
1183         padding: 8px;
1184         top: 40%;
1185         position: absolute;
1186         left: 50%;
1187         transform: translate(-50%, -40%);
1188         border: 1px solid;
1189         border-radius: 4px;
1190         border-top-right-radius: 0;
1191 }
1192
1193 .modal-content > .docblock {
1194         margin: 0;
1195 }
1196
1197 h3.important {
1198         margin: 0;
1199         margin-bottom: 13px;
1200         font-size: 19px;
1201 }
1202
1203 .modal-content > .docblock > code.content {
1204         margin: 0;
1205         padding: 0;
1206         font-size: 20px;
1207 }
1208
1209 .modal-content > .close {
1210         position: absolute;
1211         font-weight: 900;
1212         right: -25px;
1213         top: -1px;
1214         font-size: 18px;
1215         width: 25px;
1216         padding-right: 2px;
1217         border-top-right-radius: 5px;
1218         border-bottom-right-radius: 5px;
1219         text-align: center;
1220         border: 1px solid;
1221         border-right: 0;
1222         cursor: pointer;
1223 }
1224
1225 .modal-content > .whiter {
1226         height: 25px;
1227         position: absolute;
1228         width: 3px;
1229         right: -2px;
1230         top: 0px;
1231 }
1232
1233 #main > div.important-traits {
1234         position: absolute;
1235         left: -24px;
1236         margin-top: 16px;
1237 }
1238
1239 .content > .methods > div.important-traits {
1240         position: absolute;
1241         left: -42px;
1242         margin-top: 2px;
1243 }
1244
1245 kbd {
1246         display: inline-block;
1247         padding: 3px 5px;
1248         font: 15px "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
1249         line-height: 10px;
1250         vertical-align: middle;
1251         border: solid 1px;
1252         border-radius: 3px;
1253         box-shadow: inset 0 -1px 0;
1254         cursor: default;
1255 }
1256
1257 .theme-picker {
1258         position: absolute;
1259         left: 211px;
1260         top: 19px;
1261 }
1262
1263 .theme-picker button {
1264         outline: none;
1265 }
1266
1267 #settings-menu {
1268         position: absolute;
1269         right: 0;
1270         top: 10px;
1271         outline: none;
1272 }
1273
1274 #theme-picker, #settings-menu {
1275         padding: 4px;
1276         width: 27px;
1277         height: 29px;
1278         border: 1px solid;
1279         border-radius: 3px;
1280         cursor: pointer;
1281 }
1282
1283 #theme-choices {
1284         display: none;
1285         position: absolute;
1286         left: 0;
1287         top: 28px;
1288         border: 1px solid;
1289         border-radius: 3px;
1290         z-index: 1;
1291         cursor: pointer;
1292 }
1293
1294 #theme-choices > button {
1295         border: none;
1296         width: 100%;
1297         padding: 4px;
1298         text-align: center;
1299         background: rgba(0,0,0,0);
1300 }
1301
1302 #theme-choices > button:not(:first-child) {
1303         border-top: 1px solid;
1304 }
1305
1306 @media (max-width: 700px) {
1307         .theme-picker {
1308                 left: 10px;
1309                 top: 54px;
1310                 z-index: 1;
1311         }
1312 }
1313
1314 .hidden-by-impl-hider,
1315 .hidden-by-usual-hider {
1316         /* important because of conflicting rule for small screens */
1317         display: none !important;
1318 }
1319
1320 #implementations-list > h3 > span.in-band {
1321         width: 100%;
1322 }
1323
1324 .table-display {
1325         width: 100%;
1326         border: 0;
1327         border-collapse: collapse;
1328         border-spacing: 0;
1329         font-size: 16px;
1330 }
1331
1332 .table-display tr td:first-child {
1333         padding-right: 0;
1334 }
1335
1336 .table-display tr td:last-child {
1337         float: right;
1338 }
1339 .table-display .out-of-band {
1340         position: relative;
1341         font-size: 19px;
1342         display: block;
1343 }
1344
1345 #main > ul {
1346         padding-left: 10px;
1347 }
1348 #main > ul > li {
1349         list-style: none;
1350 }
1351 #all-types {
1352         text-align: center;
1353         border: 1px solid;
1354         margin: 0 10px;
1355         margin-bottom: 10px;
1356         display: block;
1357         border-radius: 7px;
1358 }
1359 #all-types > p {
1360         margin: 5px 0;
1361 }