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         margin-top: 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: -20px;
 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 .content pre.line-numbers {
 299         float: left;
 300         border: none;
 301         position: relative;
 302
 303         -webkit-user-select: none;
 304         -moz-user-select: none;
 305         -ms-user-select: none;
 306         user-select: none;
 307 }
 308 .line-numbers span {
 309         cursor: pointer;
 310 }
 311
 312 .docblock-short p {
 313         display: inline;
 314 }
 315
 316 .docblock-short.nowrap {
 317         display: block;
 318         overflow: hidden;
 319         white-space: nowrap;
 320         text-overflow: ellipsis;
 321 }
 322
 323 .docblock-short p {
 324         overflow: hidden;
 325         text-overflow: ellipsis;
 326         margin: 0;
 327 }
 328 .docblock-short code {
 329         white-space: nowrap;
 330 }
 331
 332 .docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 {
 333         border-bottom: 1px solid;
 334 }
 335
 336 #main > .docblock h1 { font-size: 1.3em; }
 337 #main > .docblock h2 { font-size: 1.15em; }
 338 #main > .docblock h3, #main > .docblock h4, #main > .docblock h5 { font-size: 1em; }
 339
 340 .docblock h1 { font-size: 1em; }
 341 .docblock h2 { font-size: 0.95em; }
 342 .docblock h3, .docblock h4, .docblock h5 { font-size: 0.9em; }
 343
 344 .docblock {
 345         margin-left: 24px;
 346         position: relative;
 347 }
 348
 349 .content .out-of-band {
 350         font-size: 23px;
 351         margin: 0px;
 352         padding: 0px;
 353         text-align: right;
 354         display: inline-block;
 355         font-weight: normal;
 356         position: absolute;
 357         right: 0;
 358 }
 359
 360 h3.impl > .out-of-band {
 361         font-size: 21px;
 362 }
 363
 364 h4.method > .out-of-band {
 365         font-size: 19px;
 366 }
 367
 368 ul.item-list > li > .out-of-band {
 369         font-size: 19px;
 370 }
 371
 372 h4 > code, h3 > code, .invisible > code {
 373         max-width: calc(100% - 41px);
 374         display: block;
 375 }
 376
 377 .in-band, code {
 378         z-index: 5;
 379 }
 380
 381 .invisible {
 382         width: 100%;
 383         display: inline-block;
 384 }
 385
 386 .content .in-band {
 387         margin: 0px;
 388         padding: 0px;
 389         display: inline-block;
 390         max-width: calc(100% - 43px);
 391 }
 392
 393 .in-band > code {
 394         display: inline-block;
 395 }
 396
 397 #main {
 398         position: relative;
 399 }
 400 #main > .since {
 401         top: inherit;
 402         font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
 403 }
 404
 405 .content table {
 406         border-spacing: 0 5px;
 407         border-collapse: separate;
 408 }
 409 .content td { vertical-align: top; }
 410 .content td:first-child { padding-right: 20px; }
 411 .content td p:first-child { margin-top: 0; }
 412 .content td h1, .content td h2 { margin-left: 0; font-size: 1.1em; }
 413
 414 .docblock table {
 415         border: 1px solid;
 416         margin: .5em 0;
 417         border-collapse: collapse;
 418         width: 100%;
 419 }
 420
 421 .docblock table td {
 422         padding: .5em;
 423         border-top: 1px dashed;
 424         border-bottom: 1px dashed;
 425 }
 426
 427 .docblock table th {
 428         padding: .5em;
 429         text-align: left;
 430         border-top: 1px solid;
 431         border-bottom: 1px solid;
 432 }
 433
 434 .fields + table {
 435         margin-bottom: 1em;
 436 }
 437
 438 .content .item-list {
 439         list-style-type: none;
 440         padding: 0;
 441 }
 442
 443 .content .item-list li {
 444         margin-bottom: 1em;
 445 }
 446
 447 .content .multi-column {
 448         -moz-column-count: 5;
 449         -moz-column-gap: 2.5em;
 450         -webkit-column-count: 5;
 451         -webkit-column-gap: 2.5em;
 452         column-count: 5;
 453         column-gap: 2.5em;
 454 }
 455 .content .multi-column li { width: 100%; display: inline-block; }
 456
 457 .content .method {
 458         font-size: 1em;
 459         position: relative;
 460 }
 461 /* Shift "where ..." part of method or fn definition down a line */
 462 .content .method .where,
 463 .content .fn .where,
 464 .content .where.fmt-newline {
 465         display: block;
 466         font-size: 0.8em;
 467 }
 468
 469 .content .methods > div:not(.important-traits) { margin-left: 40px; }
 470
 471 .content .impl-items .docblock, .content .impl-items .stability {
 472         margin-left: 40px;
 473         margin-bottom: .6em;
 474 }
 475 .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant {
 476         margin-left: 20px;
 477 }
 478
 479 .content .stability code {
 480         font-size: 90%;
 481 }
 482
 483 nav {
 484         border-bottom: 1px solid;
 485         padding-bottom: 10px;
 486         margin-bottom: 10px;
 487 }
 488 nav.main {
 489         padding: 20px 0;
 490         text-align: center;
 491 }
 492 nav.main .current {
 493         border-top: 1px solid;
 494         border-bottom: 1px solid;
 495 }
 496 nav.main .separator {
 497         border: 1px solid;
 498         display: inline-block;
 499         height: 23px;
 500         margin: 0 20px;
 501 }
 502 nav.sum { text-align: right; }
 503 nav.sub form { display: inline; }
 504
 505 nav.sub, .content {
 506         margin-left: 230px;
 507 }
 508
 509 a {
 510         text-decoration: none;
 511         background: transparent;
 512 }
 513
 514 .small-section-header:hover > .anchor {
 515         display: initial;
 516 }
 517
 518 .in-band:hover > .anchor {
 519         display: inline-block;
 520         position: absolute;
 521 }
 522 .anchor {
 523         display: none;
 524         position: absolute;
 525         left: -25px;
 526 }
 527 .anchor.field {
 528         left: -20px;
 529 }
 530 .anchor:before {
 531         content: '\2002\00a7\2002';
 532 }
 533
 534 .docblock a:hover, .docblock-short a:hover, .stability a {
 535         text-decoration: underline;
 536 }
 537
 538 .block a.current.crate { font-weight: 500; }
 539
 540 .search-input {
 541         width: 100%;
 542         /* Override Normalize.css: we have margins and do
 543          not want to overflow - the `moz` attribute is necessary
 544          until Firefox 29, too early to drop at this point */
 545         -moz-box-sizing: border-box !important;
 546         box-sizing: border-box !important;
 547         outline: none;
 548         border: none;
 549         border-radius: 1px;
 550         margin-top: 5px;
 551         padding: 10px 16px;
 552         font-size: 17px;
 553         transition: border-color 300ms ease;
 554         transition: border-radius 300ms ease-in-out;
 555         transition: box-shadow 300ms ease-in-out;
 556 }
 557
 558 .search-input:focus {
 559         border-radius: 2px;
 560         border: 0;
 561         outline: 0;
 562         box-shadow: 0 0 8px #078dd8;
 563 }
 564
 565 .search-results .desc {
 566         white-space: nowrap;
 567         text-overflow: ellipsis;
 568         overflow: hidden;
 569         display: block;
 570 }
 571
 572 .search-results a {
 573         display: block;
 574 }
 575
 576 .content .search-results td:first-child { padding-right: 0; }
 577 .content .search-results td:first-child a { padding-right: 10px; }
 578
 579 tr.result span.primitive::after {
 580         content: ' (primitive type)';
 581         font-style: italic;
 582 }
 583
 584 body.blur > :not(#help) {
 585         filter: blur(8px);
 586         -webkit-filter: blur(8px);
 587         opacity: .7;
 588 }
 589
 590 #help {
 591         width: 100%;
 592         height: 100vh;
 593         position: fixed;
 594         top: 0;
 595         left: 0;
 596         display: flex;
 597         justify-content: center;
 598         align-items: center;
 599 }
 600 #help > div {
 601         flex: 0 0 auto;
 602         box-shadow: 0 0 6px rgba(0,0,0,.2);
 603         width: 550px;
 604         height: auto;
 605         border: 1px solid;
 606 }
 607 #help dt {
 608         float: left;
 609         clear: left;
 610         display: block;
 611 }
 612 #help dd { margin: 5px 35px; }
 613 #help .infos { padding-left: 0; }
 614 #help h1, #help h2 { margin-top: 0; }
 615 #help > div div {
 616         width: 50%;
 617         float: left;
 618         padding: 20px;
 619         padding-left: 17px;
 620 }
 621
 622 .stab {
 623         display: table;
 624         border-width: 1px;
 625         border-style: solid;
 626         padding: 3px;
 627         margin-bottom: 5px;
 628         font-size: 90%;
 629 }
 630 .stab p {
 631         display: inline;
 632 }
 633
 634 .stab summary {
 635         display: list-item;
 636 }
 637
 638 .stab .microscope {
 639         font-size: 1.5em;
 640 }
 641
 642 .module-item .stab {
 643         display: inline;
 644         border-width: 0;
 645         padding: 0;
 646         margin: 0;
 647         background: inherit !important;
 648 }
 649
 650 .module-item.unstable {
 651         opacity: 0.65;
 652 }
 653
 654 .since {
 655         font-weight: normal;
 656         font-size: initial;
 657         position: absolute;
 658         right: 0;
 659         top: 0;
 660 }
 661
 662 .variants_table {
 663         width: 100%;
 664 }
 665
 666 .variants_table tbody tr td:first-child {
 667         width: 1%; /* make the variant name as small as possible */
 668 }
 669
 670 td.summary-column {
 671         width: 100%;
 672 }
 673
 674 .summary {
 675         padding-right: 0px;
 676 }
 677
 678 pre.rust .question-mark {
 679         font-weight: bold;
 680 }
 681
 682 a.test-arrow {
 683         display: inline-block;
 684         position: absolute;
 685         padding: 5px 10px 5px 10px;
 686         border-radius: 5px;
 687         font-size: 130%;
 688         top: 5px;
 689         right: 5px;
 690 }
 691 a.test-arrow:hover{
 692         text-decoration: none;
 693 }
 694
 695 .section-header:hover a:before {
 696         position: absolute;
 697         left: -25px;
 698         content: '\2002\00a7\2002';
 699 }
 700
 701 .section-header:hover a {
 702         text-decoration: none;
 703 }
 704
 705 .section-header a {
 706         color: inherit;
 707 }
 708
 709 .collapse-toggle {
 710         font-weight: 300;
 711         position: absolute;
 712         left: -23px;
 713         top: 0;
 714 }
 715
 716 h3 > .collapse-toggle, h4 > .collapse-toggle {
 717         font-size: 0.8em;
 718         top: 5px;
 719 }
 720
 721 .toggle-wrapper > .collapse-toggle {
 722         left: -24px;
 723         margin-top: 0px;
 724 }
 725
 726 .toggle-wrapper {
 727         position: relative;
 728         margin-top: 5px;
 729 }
 730
 731 .toggle-wrapper.collapsed {
 732         height: 25px;
 733         transition: height .2s;
 734         margin-bottom: .6em;
 735 }
 736
 737 .collapse-toggle > .inner {
 738         display: inline-block;
 739         width: 1.2ch;
 740         text-align: center;
 741 }
 742
 743 .ghost {
 744         display: none;
 745 }
 746
 747 .ghost + .since {
 748         position: initial;
 749         display: table-cell;
 750 }
 751
 752 .since + .srclink {
 753         display: table-cell;
 754         padding-left: 10px;
 755 }
 756
 757 .item-spacer {
 758         width: 100%;
 759         height: 12px;
 760 }
 761
 762 span.since {
 763         position: initial;
 764         font-size: 20px;
 765         margin-right: 5px;
 766 }
 767
 768 .toggle-wrapper > .collapse-toggle {
 769         left: 0;
 770 }
 771
 772 .variant + .toggle-wrapper + .docblock > p {
 773         margin-top: 5px;
 774 }
 775
 776 .sub-variant, .sub-variant > h3 {
 777         margin-top: 0 !important;
 778 }
 779
 780 .toggle-label {
 781         display: inline-block;
 782         margin-left: 4px;
 783         margin-top: 3px;
 784 }
 785
 786 .enum > .toggle-wrapper + .docblock, .struct > .toggle-wrapper + .docblock {
 787         margin-left: 30px;
 788         margin-bottom: 20px;
 789         margin-top: 5px;
 790 }
 791
 792 .docblock > .section-header:first-child {
 793         margin-left: 15px;
 794         margin-top: 0;
 795 }
 796
 797 .docblock > .section-header:first-child:hover > a:before {
 798         left: -10px;
 799 }
 800
 801 .enum > .collapsed, .struct > .collapsed {
 802         margin-bottom: 25px;
 803 }
 804
 805 #main > .variant, #main > .structfield {
 806         display: block;
 807 }
 808
 809 .attributes {
 810         display: block;
 811         margin: 0px 0px 0px 30px !important;
 812 }
 813 .toggle-attributes.collapsed {
 814         margin-bottom: 5px;
 815 }
 816
 817 :target > code {
 818         opacity: 1;
 819 }
 820
 821 /* Media Queries */
 822
 823 @media (max-width: 700px) {
 824         body {
 825                 padding-top: 0px;
 826         }
 827
 828         .sidebar {
 829                 height: 45px;
 830                 min-height: 40px;
 831                 width: calc(100% + 30px);
 832                 margin: 0;
 833                 margin-left: -15px;
 834                 padding: 0 15px;
 835                 position: static;
 836                 z-index: 1;
 837         }
 838
 839         .sidebar > .location {
 840                 float: right;
 841                 margin: 0px;
 842                 margin-top: 2px;
 843                 padding: 3px 10px 1px 10px;
 844                 min-height: 39px;
 845                 background: inherit;
 846                 text-align: left;
 847                 font-size: 24px;
 848         }
 849
 850         .sidebar .location:empty {
 851                 padding: 0;
 852         }
 853
 854         .sidebar img {
 855                 width: 35px;
 856                 margin-top: 5px;
 857                 margin-bottom: 5px;
 858                 float: left;
 859                 margin-left: 50px;
 860         }
 861
 862         .sidebar-menu {
 863                 position: fixed;
 864                 z-index: 10;
 865                 font-size: 2rem;
 866                 cursor: pointer;
 867                 width: 45px;
 868                 left: 0;
 869                 text-align: center;
 870                 display: block;
 871                 border-bottom: 1px solid;
 872                 border-right: 1px solid;
 873                 height: 45px;
 874         }
 875
 876         .sidebar-elems {
 877                 position: fixed;
 878                 z-index: 1;
 879                 left: 0;
 880                 top: 45px;
 881                 bottom: 0;
 882                 overflow-y: auto;
 883                 border-right: 1px solid;
 884                 display: none;
 885         }
 886
 887         .sidebar > .block.version {
 888                 border-bottom: none;
 889                 margin-top: 12px;
 890         }
 891
 892         nav.sub {
 893                 width: calc(100% - 32px);
 894                 float: right;
 895         }
 896
 897         .content {
 898                 margin-left: 0px;
 899         }
 900
 901         #main {
 902                 margin-top: 45px;
 903                 padding: 0;
 904         }
 905
 906         .content .in-band {
 907                 width: 100%;
 908         }
 909
 910         .content h4 > .out-of-band {
 911                 position: inherit;
 912         }
 913
 914         .toggle-wrapper > .collapse-toggle {
 915                 left: 0px;
 916         }
 917
 918         .toggle-wrapper {
 919                 height: 1.5em;
 920         }
 921
 922         #search {
 923                 margin-left: 0;
 924         }
 925
 926         .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant {
 927                 display: flex;
 928         }
 929 }
 930
 931 @media print {
 932         nav.sub, .content .out-of-band, .collapse-toggle {
 933                 display: none;
 934         }
 935 }
 936
 937 .information {
 938         position: absolute;
 939         left: -20px;
 940         margin-top: 7px;
 941         z-index: 1;
 942 }
 943
 944 .tooltip {
 945         position: relative;
 946         display: inline-block;
 947         cursor: pointer;
 948 }
 949
 950 .tooltip .tooltiptext {
 951         width: 120px;
 952         display: none;
 953         text-align: center;
 954         padding: 5px 3px;
 955         border-radius: 6px;
 956         margin-left: 5px;
 957         top: -5px;
 958         left: 105%;
 959         z-index: 1;
 960 }
 961
 962 .tooltip:hover .tooltiptext {
 963         display: inline;
 964 }
 965
 966 .tooltip .tooltiptext::after {
 967         content: " ";
 968         position: absolute;
 969         top: 50%;
 970         left: 11px;
 971         margin-top: -5px;
 972         border-width: 5px;
 973         border-style: solid;
 974 }
 975
 976 .important-traits .tooltip .tooltiptext {
 977         border: 1px solid;
 978 }
 979
 980 pre.rust {
 981         position: relative;
 982 }
 983
 984 .search-failed {
 985         text-align: center;
 986         margin-top: 20px;
 987 }
 988
 989 #titles {
 990         height: 35px;
 991 }
 992
 993 #titles > div {
 994         float: left;
 995         width: 33.3%;
 996         text-align: center;
 997         border-bottom: 1px solid;
 998         font-size: 18px;
 999         cursor: pointer;
1000 }
1001
1002 #titles > div.selected {
1003         border-bottom: 3px solid;
1004 }
1005
1006 #titles > div:hover {
1007         border-bottom: 3px solid;
1008 }
1009
1010 #titles > div > div.count {
1011         display: inline-block;
1012         font-size: 16px;
1013 }
1014
1015 .important-traits {
1016         cursor: pointer;
1017         z-index: 2;
1018 }
1019
1020 h4 > .important-traits {
1021         position: absolute;
1022         left: -44px;
1023         top: 2px;
1024 }
1025
1026 @media (max-width: 700px) {
1027         h4 > .important-traits {
1028                 position: absolute;
1029                 left: -22px;
1030                 top: 24px;
1031         }
1032
1033         #titles > div > div.count {
1034                 float: left;
1035                 width: 100%;
1036         }
1037
1038         #titles {
1039                 height: 50px;
1040         }
1041
1042         .sidebar.mobile {
1043                 position: fixed;
1044                 width: 100%;
1045                 margin-left: 0;
1046                 background-color: rgba(0,0,0,0);
1047                 height: 100%;
1048         }
1049
1050         .show-it {
1051                 display: block;
1052                 width: 246px;
1053         }
1054
1055         .show-it > .block.items {
1056                 margin: 8px 0;
1057         }
1058
1059         .show-it > .block.items > ul {
1060                 margin: 0;
1061         }
1062
1063         .show-it > .block.items > ul > li {
1064                 text-align: center;
1065                 margin: 2px 0;
1066         }
1067
1068         .show-it > .block.items > ul > li > a {
1069                 font-size: 21px;
1070         }
1071
1072         /* Because of ios, we need to actually have a full height sidebar title so the
1073          * actual sidebar can show up. But then we need to make it transparent so we don't
1074          * hide content. The filler just allows to create the background for the sidebar
1075          * title. But because of the absolute position, I had to lower the z-index.
1076          */
1077         #sidebar-filler {
1078                 position: fixed;
1079                 left: 45px;
1080                 width: calc(100% - 45px);
1081                 top: 0;
1082                 height: 45px;
1083                 z-index: -1;
1084                 border-bottom: 1px solid;
1085         }
1086 }
1087
1088
1089 @media (max-width: 416px) {
1090         #titles {
1091                 height: 73px;
1092         }
1093
1094         #titles > div {
1095                 height: 73px;
1096         }
1097 }
1098
1099 .modal {
1100         position: fixed;
1101         width: 100vw;
1102         height: 100vh;
1103         z-index: 10000;
1104         top: 0;
1105         left: 0;
1106 }
1107
1108 .modal-content {
1109         display: block;
1110         max-width: 60%;
1111         min-width: 200px;
1112         padding: 8px;
1113         top: 40%;
1114         position: absolute;
1115         left: 50%;
1116         transform: translate(-50%, -40%);
1117         border: 1px solid;
1118         border-radius: 4px;
1119         border-top-right-radius: 0;
1120 }
1121
1122 .modal-content > .docblock {
1123         margin: 0;
1124 }
1125
1126 h3.important {
1127         margin: 0;
1128         margin-bottom: 13px;
1129         font-size: 19px;
1130 }
1131
1132 .modal-content > .docblock > code.content {
1133         margin: 0;
1134         padding: 0;
1135         font-size: 20px;
1136 }
1137
1138 .modal-content > .close {
1139         position: absolute;
1140         font-weight: 900;
1141         right: -25px;
1142         top: -1px;
1143         font-size: 18px;
1144         width: 25px;
1145         padding-right: 2px;
1146         border-top-right-radius: 5px;
1147         border-bottom-right-radius: 5px;
1148         text-align: center;
1149         border: 1px solid;
1150         border-right: 0;
1151         cursor: pointer;
1152 }
1153
1154 .modal-content > .whiter {
1155         height: 25px;
1156         position: absolute;
1157         width: 3px;
1158         right: -2px;
1159         top: 0px;
1160 }
1161
1162 #main > div.important-traits {
1163         position: absolute;
1164         left: -24px;
1165         margin-top: 16px;
1166 }
1167
1168 .content > .methods > div.important-traits {
1169         position: absolute;
1170         left: -42px;
1171         margin-top: 2px;
1172 }
1173
1174 kbd {
1175         display: inline-block;
1176         padding: 3px 5px;
1177         font: 15px "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
1178         line-height: 10px;
1179         vertical-align: middle;
1180         border: solid 1px;
1181         border-radius: 3px;
1182         box-shadow: inset 0 -1px 0;
1183         cursor: default;
1184 }
1185
1186 .theme-picker {
1187         position: absolute;
1188         left: 211px;
1189         top: 19px;
1190 }
1191
1192 #theme-picker {
1193         padding: 4px;
1194         width: 27px;
1195         height: 29px;
1196         border: 1px solid;
1197         border-radius: 3px;
1198         cursor: pointer;
1199 }
1200
1201 #theme-choices {
1202         display: none;
1203         position: absolute;
1204         left: 0;
1205         top: 28px;
1206         border: 1px solid;
1207         border-radius: 3px;
1208         z-index: 1;
1209         cursor: pointer;
1210 }
1211
1212 #theme-choices > button {
1213         border: none;
1214         width: 100%;
1215         padding: 4px;
1216         text-align: center;
1217         background: rgba(0,0,0,0);
1218 }
1219
1220 #theme-choices > button:not(:first-child) {
1221         border-top: 1px solid;
1222 }
1223
1224 @media (max-width: 700px) {
1225         .theme-picker {
1226                 left: 10px;
1227                 top: 54px;
1228                 z-index: 1;
1229         }
1230 }