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         }
 874
 875         .sidebar-elems {
 876                 position: fixed;
 877                 z-index: 1;
 878                 left: 0;
 879                 top: 45px;
 880                 bottom: 0;
 881                 overflow-y: auto;
 882                 border-right: 1px solid;
 883                 display: none;
 884         }
 885
 886         .sidebar > .block.version {
 887                 border-bottom: none;
 888                 margin-top: 12px;
 889         }
 890
 891         nav.sub {
 892                 margin: 0 auto;
 893         }
 894
 895         .content {
 896                 margin-left: 0px;
 897         }
 898
 899         .content .in-band {
 900                 width: 100%;
 901         }
 902
 903         .content h4 > .out-of-band {
 904                 position: inherit;
 905         }
 906
 907         .toggle-wrapper > .collapse-toggle {
 908                 left: 0px;
 909         }
 910
 911         .toggle-wrapper {
 912                 height: 1.5em;
 913         }
 914
 915         #search {
 916                 margin-left: 0;
 917         }
 918
 919         .content .impl-items .method, .content .impl-items > .type, .impl-items > .associatedconstant {
 920                 display: flex;
 921         }
 922 }
 923
 924 @media print {
 925         nav.sub, .content .out-of-band, .collapse-toggle {
 926                 display: none;
 927         }
 928 }
 929
 930 .information {
 931         position: absolute;
 932         left: -20px;
 933         margin-top: 7px;
 934         z-index: 1;
 935 }
 936
 937 .tooltip {
 938         position: relative;
 939         display: inline-block;
 940         cursor: pointer;
 941 }
 942
 943 .tooltip .tooltiptext {
 944         width: 120px;
 945         display: none;
 946         text-align: center;
 947         padding: 5px 3px;
 948         border-radius: 6px;
 949         margin-left: 5px;
 950         top: -5px;
 951         left: 105%;
 952         z-index: 1;
 953 }
 954
 955 .tooltip:hover .tooltiptext {
 956         display: inline;
 957 }
 958
 959 .tooltip .tooltiptext::after {
 960         content: " ";
 961         position: absolute;
 962         top: 50%;
 963         left: 11px;
 964         margin-top: -5px;
 965         border-width: 5px;
 966         border-style: solid;
 967 }
 968
 969 .important-traits .tooltip .tooltiptext {
 970         border: 1px solid;
 971 }
 972
 973 pre.rust {
 974         position: relative;
 975 }
 976
 977 .search-failed {
 978         text-align: center;
 979         margin-top: 20px;
 980 }
 981
 982 #titles {
 983         height: 35px;
 984 }
 985
 986 #titles > div {
 987         float: left;
 988         width: 33.3%;
 989         text-align: center;
 990         border-bottom: 1px solid;
 991         font-size: 18px;
 992         cursor: pointer;
 993 }
 994
 995 #titles > div.selected {
 996         border-bottom: 3px solid;
 997 }
 998
 999 #titles > div:hover {
1000         border-bottom: 3px solid;
1001 }
1002
1003 #titles > div > div.count {
1004         display: inline-block;
1005         font-size: 16px;
1006 }
1007
1008 .important-traits {
1009         cursor: pointer;
1010         z-index: 2;
1011 }
1012
1013 h4 > .important-traits {
1014         position: absolute;
1015         left: -44px;
1016         top: 2px;
1017 }
1018
1019 @media (max-width: 700px) {
1020         h4 > .important-traits {
1021                 position: absolute;
1022                 left: -22px;
1023                 top: 24px;
1024         }
1025
1026         #titles > div > div.count {
1027                 float: left;
1028                 width: 100%;
1029         }
1030
1031         #titles {
1032                 height: 50px;
1033         }
1034
1035         .sidebar.mobile {
1036                 position: fixed;
1037                 width: 100%;
1038                 margin-left: 0;
1039                 background-color: rgba(0,0,0,0);
1040                 height: 100%;
1041         }
1042
1043         .show-it {
1044                 display: block;
1045         }
1046
1047         /* Because of ios, we need to actually have a full height sidebar title so the
1048          * actual sidebar can show up. But then we need to make it transparent so we don't
1049          * hide content. The filler just allows to create the background for the sidebar
1050          * title. But because of the absolute position, I had to lower the z-index.
1051          */
1052         #sidebar-filler {
1053                 position: fixed;
1054                 left: 45px;
1055                 width: calc(100% - 45px);
1056                 top: 0;
1057                 height: 45px;
1058                 z-index: -1;
1059                 border-bottom: 1px solid;
1060         }
1061 }
1062
1063
1064 @media (max-width: 416px) {
1065         #titles {
1066                 height: 73px;
1067         }
1068
1069         #titles > div {
1070                 height: 73px;
1071         }
1072 }
1073
1074 .modal {
1075         position: fixed;
1076         width: 100vw;
1077         height: 100vh;
1078         z-index: 10000;
1079         top: 0;
1080         left: 0;
1081 }
1082
1083 .modal-content {
1084         display: block;
1085         max-width: 60%;
1086         min-width: 200px;
1087         padding: 8px;
1088         top: 40%;
1089         position: absolute;
1090         left: 50%;
1091         transform: translate(-50%, -40%);
1092         border: 1px solid;
1093         border-radius: 4px;
1094         border-top-right-radius: 0;
1095 }
1096
1097 .modal-content > .docblock {
1098         margin: 0;
1099 }
1100
1101 h3.important {
1102         margin: 0;
1103         margin-bottom: 13px;
1104         font-size: 19px;
1105 }
1106
1107 .modal-content > .docblock > code.content {
1108         margin: 0;
1109         padding: 0;
1110         font-size: 20px;
1111 }
1112
1113 .modal-content > .close {
1114         position: absolute;
1115         font-weight: 900;
1116         right: -25px;
1117         top: -1px;
1118         font-size: 18px;
1119         width: 25px;
1120         padding-right: 2px;
1121         border-top-right-radius: 5px;
1122         border-bottom-right-radius: 5px;
1123         text-align: center;
1124         border: 1px solid;
1125         border-right: 0;
1126         cursor: pointer;
1127 }
1128
1129 .modal-content > .whiter {
1130         height: 25px;
1131         position: absolute;
1132         width: 3px;
1133         right: -2px;
1134         top: 0px;
1135 }
1136
1137 #main > div.important-traits {
1138         position: absolute;
1139         left: -24px;
1140         margin-top: 16px;
1141 }
1142
1143 .content > .methods > div.important-traits {
1144         position: absolute;
1145         left: -42px;
1146         margin-top: 2px;
1147 }
1148
1149 kbd {
1150         display: inline-block;
1151         padding: 3px 5px;
1152         font: 15px "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
1153         line-height: 10px;
1154         vertical-align: middle;
1155         border: solid 1px;
1156         border-radius: 3px;
1157         box-shadow: inset 0 -1px 0;
1158         cursor: default;
1159 }
1160
1161 .theme-picker {
1162         position: absolute;
1163         left: 211px;
1164         top: 19px;
1165 }
1166
1167 #theme-picker {
1168         padding: 4px;
1169         width: 27px;
1170         height: 29px;
1171         border: 1px solid;
1172         border-radius: 3px;
1173         cursor: pointer;
1174 }
1175
1176 #theme-choices {
1177         display: none;
1178         position: absolute;
1179         left: 0;
1180         top: 28px;
1181         border: 1px solid;
1182         border-radius: 3px;
1183         z-index: 1;
1184         cursor: pointer;
1185 }
1186
1187 #theme-choices > button {
1188         border: none;
1189         width: 100%;
1190         padding: 4px;
1191         text-align: center;
1192         background: rgba(0,0,0,0);
1193 }
1194
1195 #theme-choices > button:not(:first-child) {
1196         border-top: 1px solid;
1197 }
1198
1199 @media (max-width: 700px) {
1200         .theme-picker {
1201                 left: 109px;
1202                 top: 7px;
1203                 z-index: 1;
1204         }
1205 }