src/doc/reference/src/theme/book.css

   1 html,
   2 body {
   3   font-family: "Open Sans", sans-serif;
   4   color: #333;
   5 }
   6 .left {
   7   float: left;
   8 }
   9 .right {
  10   float: right;
  11 }
  12 .hidden {
  13   display: none;
  14 }
  15 h2,
  16 h3 {
  17   margin-top: 2.5em;
  18 }
  19 h4,
  20 h5 {
  21   margin-top: 2em;
  22 }
  23 .header + .header h3,
  24 .header + .header h4,
  25 .header + .header h5 {
  26   margin-top: 1em;
  27 }
  28 table {
  29   margin: 0 auto;
  30   border-collapse: collapse;
  31 }
  32 table td {
  33   padding: 3px 20px;
  34   border: 1px solid;
  35 }
  36 table thead td {
  37   font-weight: 700;
  38 }
  39 .sidebar {
  40   position: absolute;
  41   left: 0;
  42   top: 0;
  43   bottom: 0;
  44   width: 300px;
  45   overflow-y: auto;
  46   padding: 10px 10px;
  47   font-size: 0.875em;
  48   -webkit-box-sizing: border-box;
  49   -moz-box-sizing: border-box;
  50   box-sizing: border-box;
  51   -webkit-overflow-scrolling: touch;
  52   -webkit-transition: left 0.5s;
  53   -moz-transition: left 0.5s;
  54   -o-transition: left 0.5s;
  55   -ms-transition: left 0.5s;
  56   transition: left 0.5s;
  57 }
  58 @media only screen and (max-width: 1060px) {
  59   .sidebar {
  60     left: -300px;
  61   }
  62 }
  63 .sidebar code {
  64   line-height: 2em;
  65 }
  66 .sidebar-hidden .sidebar {
  67   left: -300px;
  68 }
  69 .sidebar-visible .sidebar {
  70   left: 0;
  71 }
  72 .chapter {
  73   list-style: none outside none;
  74   padding-left: 0;
  75   line-height: 1.9em;
  76 }
  77 .chapter li a {
  78   padding: 5px 0;
  79   text-decoration: none;
  80 }
  81 .chapter li a:hover {
  82   text-decoration: none;
  83 }
  84 .chapter .spacer {
  85   width: 100%;
  86   height: 3px;
  87   margin: 10px 0px;
  88 }
  89 .section {
  90   list-style: none outside none;
  91   padding-left: 20px;
  92   line-height: 2.5em;
  93 }
  94 .section li {
  95   -o-text-overflow: ellipsis;
  96   text-overflow: ellipsis;
  97   overflow: hidden;
  98   white-space: nowrap;
  99 }
 100 .page-wrapper {
 101   position: absolute;
 102   overflow-y: auto;
 103   left: 315px;
 104   right: 0;
 105   top: 0;
 106   bottom: 0;
 107   -webkit-box-sizing: border-box;
 108   -moz-box-sizing: border-box;
 109   box-sizing: border-box;
 110   -webkit-overflow-scrolling: touch;
 111   min-height: 100%;
 112   -webkit-transition: left 0.5s;
 113   -moz-transition: left 0.5s;
 114   -o-transition: left 0.5s;
 115   -ms-transition: left 0.5s;
 116   transition: left 0.5s;
 117 }
 118 @media only screen and (max-width: 1060px) {
 119   .page-wrapper {
 120     left: 15px;
 121     padding-right: 15px;
 122   }
 123 }
 124 .sidebar-hidden .page-wrapper {
 125   left: 15px;
 126 }
 127 .sidebar-visible .page-wrapper {
 128   left: 315px;
 129 }
 130 .page {
 131   position: absolute;
 132   top: 0;
 133   right: 0;
 134   left: 0;
 135   bottom: 0;
 136   padding-right: 15px;
 137   overflow-y: auto;
 138 }
 139 .content {
 140   margin-left: auto;
 141   margin-right: auto;
 142   max-width: 750px;
 143   padding-bottom: 50px;
 144 }
 145 .content a {
 146   text-decoration: none;
 147 }
 148 .content a:hover {
 149   text-decoration: underline;
 150 }
 151 .content img {
 152   max-width: 100%;
 153 }
 154 .menu-bar {
 155   position: relative;
 156   height: 50px;
 157 }
 158 .menu-bar i {
 159   position: relative;
 160   margin: 0 10px;
 161   z-index: 10;
 162   line-height: 50px;
 163   -webkit-transition: color 0.5s;
 164   -moz-transition: color 0.5s;
 165   -o-transition: color 0.5s;
 166   -ms-transition: color 0.5s;
 167   transition: color 0.5s;
 168 }
 169 .menu-bar i:hover {
 170   cursor: pointer;
 171 }
 172 .menu-bar .left-buttons {
 173   float: left;
 174 }
 175 .menu-bar .right-buttons {
 176   float: right;
 177 }
 178 .menu-title {
 179   display: inline-block;
 180   font-weight: 200;
 181   font-size: 20px;
 182   line-height: 50px;
 183   position: absolute;
 184   top: 0;
 185   left: 0;
 186   right: 0;
 187   bottom: 0;
 188   text-align: center;
 189   margin: 0;
 190   opacity: 0;
 191   -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=0)";
 192   filter: alpha(opacity=0);
 193   -webkit-transition: opacity 0.5s ease-in-out;
 194   -moz-transition: opacity 0.5s ease-in-out;
 195   -o-transition: opacity 0.5s ease-in-out;
 196   -ms-transition: opacity 0.5s ease-in-out;
 197   transition: opacity 0.5s ease-in-out;
 198 }
 199 .menu-bar:hover .menu-title {
 200   opacity: 1;
 201   -ms-filter: none;
 202   filter: none;
 203 }
 204 .nav-chapters {
 205   font-size: 2.5em;
 206   text-align: center;
 207   text-decoration: none;
 208   position: absolute;
 209   top: 50px /* Height of menu-bar */;
 210   bottom: 0;
 211   margin: 0;
 212   max-width: 150px;
 213   min-width: 90px;
 214   display: -webkit-box;
 215   display: -moz-box;
 216   display: -webkit-flex;
 217   display: -ms-flexbox;
 218   display: box;
 219   display: flex;
 220   -webkit-box-pack: center;
 221   -moz-box-pack: center;
 222   -o-box-pack: center;
 223   -ms-flex-pack: center;
 224   -webkit-justify-content: center;
 225   justify-content: center;
 226   -ms-flex-line-pack: center;
 227   -webkit-align-content: center;
 228   align-content: center;
 229   -webkit-box-orient: vertical;
 230   -moz-box-orient: vertical;
 231   -o-box-orient: vertical;
 232   -webkit-flex-direction: column;
 233   -ms-flex-direction: column;
 234   flex-direction: column;
 235   -webkit-transition: color 0.5s;
 236   -moz-transition: color 0.5s;
 237   -o-transition: color 0.5s;
 238   -ms-transition: color 0.5s;
 239   transition: color 0.5s;
 240 }
 241 .mobile-nav-chapters {
 242   display: none;
 243 }
 244 .nav-chapters:hover {
 245   text-decoration: none;
 246 }
 247 .previous {
 248   left: 0;
 249 }
 250 .next {
 251   right: 15px;
 252 }
 253 .theme-popup {
 254   position: relative;
 255   left: 10px;
 256   z-index: 1000;
 257   -webkit-border-radius: 4px;
 258   border-radius: 4px;
 259   font-size: 0.7em;
 260 }
 261 .theme-popup .theme {
 262   margin: 0;
 263   padding: 2px 10px;
 264   line-height: 25px;
 265   white-space: nowrap;
 266 }
 267 .theme-popup .theme:hover:first-child {
 268   border-top-left-radius: inherit;
 269   border-top-right-radius: inherit;
 270 }
 271 .theme-popup .theme:hover:last-child {
 272   border-bottom-left-radius: inherit;
 273   border-bottom-right-radius: inherit;
 274 }
 275
 276 @media only screen and (max-width: 1250px) {
 277   .nav-chapters {
 278     display: none;
 279   }
 280   .mobile-nav-chapters {
 281     font-size: 2.5em;
 282     text-align: center;
 283     text-decoration: none;
 284     max-width: 150px;
 285     min-width: 90px;
 286     -webkit-box-pack: center;
 287     -moz-box-pack: center;
 288     -o-box-pack: center;
 289     -ms-flex-pack: center;
 290     -webkit-justify-content: center;
 291     justify-content: center;
 292     -ms-flex-line-pack: center;
 293     -webkit-align-content: center;
 294     align-content: center;
 295     position: relative;
 296     display: inline-block;
 297     margin-bottom: 50px;
 298     -webkit-border-radius: 5px;
 299     border-radius: 5px;
 300   }
 301   .next {
 302     float: right;
 303   }
 304   .previous {
 305     float: left;
 306   }
 307 }
 308 .light {
 309   color: #333;
 310   background-color: #fff;
 311 /* Inline code */
 312 }
 313 .light .content .header:link,
 314 .light .content .header:visited {
 315   color: #333;
 316   pointer: cursor;
 317 }
 318 .light .content .header:link:hover,
 319 .light .content .header:visited:hover {
 320   text-decoration: none;
 321 }
 322 .light .sidebar {
 323   background-color: #fafafa;
 324   color: #364149;
 325 }
 326 .light .chapter li {
 327   color: #aaa;
 328 }
 329 .light .chapter li a {
 330   color: #364149;
 331 }
 332 .light .chapter li .active,
 333 .light .chapter li a:hover {
 334 /* Animate color change */
 335   color: #008cff;
 336 }
 337 .light .chapter .spacer {
 338   background-color: #f4f4f4;
 339 }
 340 .light .menu-bar,
 341 .light .menu-bar:visited,
 342 .light .nav-chapters,
 343 .light .nav-chapters:visited,
 344 .light .mobile-nav-chapters,
 345 .light .mobile-nav-chapters:visited {
 346   color: #ccc;
 347 }
 348 .light .menu-bar i:hover,
 349 .light .nav-chapters:hover,
 350 .light .mobile-nav-chapters i:hover {
 351   color: #333;
 352 }
 353 .light .mobile-nav-chapters i:hover {
 354   color: #364149;
 355 }
 356 .light .mobile-nav-chapters {
 357   background-color: #fafafa;
 358 }
 359 .light .content a:link,
 360 .light a:visited {
 361   color: #4183c4;
 362 }
 363 .light .theme-popup {
 364   color: #333;
 365   background: #fafafa;
 366   border: 1px solid #ccc;
 367 }
 368 .light .theme-popup .theme:hover {
 369   background-color: #e6e6e6;
 370 }
 371 .light .theme-popup .default {
 372   color: #ccc;
 373 }
 374 .light blockquote {
 375   margin: 20px 0;
 376   padding: 0 20px;
 377   color: #333;
 378   background-color: #f2f7f9;
 379   border-top: 0.1em solid #e1edf1;
 380   border-bottom: 0.1em solid #e1edf1;
 381 }
 382 .light table td {
 383   border-color: #f2f2f2;
 384 }
 385 .light table tbody tr:nth-child(2n) {
 386   background: #f7f7f7;
 387 }
 388 .light table thead {
 389   background: #ccc;
 390 }
 391 .light table thead td {
 392   border: none;
 393 }
 394 .light table thead tr {
 395   border: 1px #ccc solid;
 396 }
 397 .light :not(pre) > .hljs {
 398   display: inline-block;
 399   vertical-align: middle;
 400   padding: 0.1em 0.3em;
 401   -webkit-border-radius: 3px;
 402   border-radius: 3px;
 403 }
 404 .light pre {
 405   position: relative;
 406 }
 407 .light pre > .buttons {
 408   position: absolute;
 409   right: 5px;
 410   top: 5px;
 411   color: #364149;
 412   cursor: pointer;
 413 }
 414 .light pre > .buttons :hover {
 415   color: #008cff;
 416 }
 417 .light pre > .buttons i {
 418   margin-left: 8px;
 419 }
 420 .light pre > .result {
 421   margin-top: 10px;
 422 }
 423 .coal {
 424   color: #98a3ad;
 425   background-color: #141617;
 426 /* Inline code */
 427 }
 428 .coal .content .header:link,
 429 .coal .content .header:visited {
 430   color: #98a3ad;
 431   pointer: cursor;
 432 }
 433 .coal .content .header:link:hover,
 434 .coal .content .header:visited:hover {
 435   text-decoration: none;
 436 }
 437 .coal .sidebar {
 438   background-color: #292c2f;
 439   color: #a1adb8;
 440 }
 441 .coal .chapter li {
 442   color: #505254;
 443 }
 444 .coal .chapter li a {
 445   color: #a1adb8;
 446 }
 447 .coal .chapter li .active,
 448 .coal .chapter li a:hover {
 449 /* Animate color change */
 450   color: #3473ad;
 451 }
 452 .coal .chapter .spacer {
 453   background-color: #393939;
 454 }
 455 .coal .menu-bar,
 456 .coal .menu-bar:visited,
 457 .coal .nav-chapters,
 458 .coal .nav-chapters:visited,
 459 .coal .mobile-nav-chapters,
 460 .coal .mobile-nav-chapters:visited {
 461   color: #43484d;
 462 }
 463 .coal .menu-bar i:hover,
 464 .coal .nav-chapters:hover,
 465 .coal .mobile-nav-chapters i:hover {
 466   color: #b3c0cc;
 467 }
 468 .coal .mobile-nav-chapters i:hover {
 469   color: #a1adb8;
 470 }
 471 .coal .mobile-nav-chapters {
 472   background-color: #292c2f;
 473 }
 474 .coal .content a:link,
 475 .coal a:visited {
 476   color: #2b79a2;
 477 }
 478 .coal .theme-popup {
 479   color: #98a3ad;
 480   background: #141617;
 481   border: 1px solid #43484d;
 482 }
 483 .coal .theme-popup .theme:hover {
 484   background-color: #1f2124;
 485 }
 486 .coal .theme-popup .default {
 487   color: #43484d;
 488 }
 489 .coal blockquote {
 490   margin: 20px 0;
 491   padding: 0 20px;
 492   color: #98a3ad;
 493   background-color: #242637;
 494   border-top: 0.1em solid #2c2f44;
 495   border-bottom: 0.1em solid #2c2f44;
 496 }
 497 .coal table td {
 498   border-color: #1f2223;
 499 }
 500 .coal table tbody tr:nth-child(2n) {
 501   background: #1b1d1e;
 502 }
 503 .coal table thead {
 504   background: #3f4649;
 505 }
 506 .coal table thead td {
 507   border: none;
 508 }
 509 .coal table thead tr {
 510   border: 1px #3f4649 solid;
 511 }
 512 .coal :not(pre) > .hljs {
 513   display: inline-block;
 514   vertical-align: middle;
 515   padding: 0.1em 0.3em;
 516   -webkit-border-radius: 3px;
 517   border-radius: 3px;
 518 }
 519 .coal pre {
 520   position: relative;
 521 }
 522 .coal pre > .buttons {
 523   position: absolute;
 524   right: 5px;
 525   top: 5px;
 526   color: #a1adb8;
 527   cursor: pointer;
 528 }
 529 .coal pre > .buttons :hover {
 530   color: #3473ad;
 531 }
 532 .coal pre > .buttons i {
 533   margin-left: 8px;
 534 }
 535 .coal pre > .result {
 536   margin-top: 10px;
 537 }
 538 .navy {
 539   color: #bcbdd0;
 540   background-color: #161923;
 541 /* Inline code */
 542 }
 543 .navy .content .header:link,
 544 .navy .content .header:visited {
 545   color: #bcbdd0;
 546   pointer: cursor;
 547 }
 548 .navy .content .header:link:hover,
 549 .navy .content .header:visited:hover {
 550   text-decoration: none;
 551 }
 552 .navy .sidebar {
 553   background-color: #282d3f;
 554   color: #c8c9db;
 555 }
 556 .navy .chapter li {
 557   color: #505274;
 558 }
 559 .navy .chapter li a {
 560   color: #c8c9db;
 561 }
 562 .navy .chapter li .active,
 563 .navy .chapter li a:hover {
 564 /* Animate color change */
 565   color: #2b79a2;
 566 }
 567 .navy .chapter .spacer {
 568   background-color: #2d334f;
 569 }
 570 .navy .menu-bar,
 571 .navy .menu-bar:visited,
 572 .navy .nav-chapters,
 573 .navy .nav-chapters:visited,
 574 .navy .mobile-nav-chapters,
 575 .navy .mobile-nav-chapters:visited {
 576   color: #737480;
 577 }
 578 .navy .menu-bar i:hover,
 579 .navy .nav-chapters:hover,
 580 .navy .mobile-nav-chapters i:hover {
 581   color: #b7b9cc;
 582 }
 583 .navy .mobile-nav-chapters i:hover {
 584   color: #c8c9db;
 585 }
 586 .navy .mobile-nav-chapters {
 587   background-color: #282d3f;
 588 }
 589 .navy .content a:link,
 590 .navy a:visited {
 591   color: #2b79a2;
 592 }
 593 .navy .theme-popup {
 594   color: #bcbdd0;
 595   background: #161923;
 596   border: 1px solid #737480;
 597 }
 598 .navy .theme-popup .theme:hover {
 599   background-color: #282e40;
 600 }
 601 .navy .theme-popup .default {
 602   color: #737480;
 603 }
 604 .navy blockquote {
 605   margin: 20px 0;
 606   padding: 0 20px;
 607   color: #bcbdd0;
 608   background-color: #262933;
 609   border-top: 0.1em solid #2f333f;
 610   border-bottom: 0.1em solid #2f333f;
 611 }
 612 .navy table td {
 613   border-color: #1f2331;
 614 }
 615 .navy table tbody tr:nth-child(2n) {
 616   background: #1b1f2b;
 617 }
 618 .navy table thead {
 619   background: #39415b;
 620 }
 621 .navy table thead td {
 622   border: none;
 623 }
 624 .navy table thead tr {
 625   border: 1px #39415b solid;
 626 }
 627 .navy :not(pre) > .hljs {
 628   display: inline-block;
 629   vertical-align: middle;
 630   padding: 0.1em 0.3em;
 631   -webkit-border-radius: 3px;
 632   border-radius: 3px;
 633 }
 634 .navy pre {
 635   position: relative;
 636 }
 637 .navy pre > .buttons {
 638   position: absolute;
 639   right: 5px;
 640   top: 5px;
 641   color: #c8c9db;
 642   cursor: pointer;
 643 }
 644 .navy pre > .buttons :hover {
 645   color: #2b79a2;
 646 }
 647 .navy pre > .buttons i {
 648   margin-left: 8px;
 649 }
 650 .navy pre > .result {
 651   margin-top: 10px;
 652 }
 653 .rust {
 654   color: #262625;
 655   background-color: #e1e1db;
 656 /* Inline code */
 657 }
 658 .rust .content .header:link,
 659 .rust .content .header:visited {
 660   color: #262625;
 661   pointer: cursor;
 662 }
 663 .rust .content .header:link:hover,
 664 .rust .content .header:visited:hover {
 665   text-decoration: none;
 666 }
 667 .rust .sidebar {
 668   background-color: #3b2e2a;
 669   color: #c8c9db;
 670 }
 671 .rust .chapter li {
 672   color: #505254;
 673 }
 674 .rust .chapter li a {
 675   color: #c8c9db;
 676 }
 677 .rust .chapter li .active,
 678 .rust .chapter li a:hover {
 679 /* Animate color change */
 680   color: #e69f67;
 681 }
 682 .rust .chapter .spacer {
 683   background-color: #45373a;
 684 }
 685 .rust .menu-bar,
 686 .rust .menu-bar:visited,
 687 .rust .nav-chapters,
 688 .rust .nav-chapters:visited,
 689 .rust .mobile-nav-chapters,
 690 .rust .mobile-nav-chapters:visited {
 691   color: #737480;
 692 }
 693 .rust .menu-bar i:hover,
 694 .rust .nav-chapters:hover,
 695 .rust .mobile-nav-chapters i:hover {
 696   color: #262625;
 697 }
 698 .rust .mobile-nav-chapters i:hover {
 699   color: #c8c9db;
 700 }
 701 .rust .mobile-nav-chapters {
 702   background-color: #3b2e2a;
 703 }
 704 .rust .content a:link,
 705 .rust a:visited {
 706   color: #2b79a2;
 707 }
 708 .rust .theme-popup {
 709   color: #262625;
 710   background: #e1e1db;
 711   border: 1px solid #b38f6b;
 712 }
 713 .rust .theme-popup .theme:hover {
 714   background-color: #99908a;
 715 }
 716 .rust .theme-popup .default {
 717   color: #737480;
 718 }
 719 .rust blockquote {
 720   margin: 20px 0;
 721   padding: 0 20px;
 722   color: #262625;
 723   background-color: #c1c1bb;
 724   border-top: 0.1em solid #b8b8b1;
 725   border-bottom: 0.1em solid #b8b8b1;
 726 }
 727 .rust table td {
 728   border-color: #d7d7cf;
 729 }
 730 .rust table tbody tr:nth-child(2n) {
 731   background: #dbdbd4;
 732 }
 733 .rust table thead {
 734   background: #b3a497;
 735 }
 736 .rust table thead td {
 737   border: none;
 738 }
 739 .rust table thead tr {
 740   border: 1px #b3a497 solid;
 741 }
 742 .rust :not(pre) > .hljs {
 743   display: inline-block;
 744   vertical-align: middle;
 745   padding: 0.1em 0.3em;
 746   -webkit-border-radius: 3px;
 747   border-radius: 3px;
 748 }
 749 .rust pre {
 750   position: relative;
 751 }
 752 .rust pre > .buttons {
 753   position: absolute;
 754   right: 5px;
 755   top: 5px;
 756   color: #c8c9db;
 757   cursor: pointer;
 758 }
 759 .rust pre > .buttons :hover {
 760   color: #e69f67;
 761 }
 762 .rust pre > .buttons i {
 763   margin-left: 8px;
 764 }
 765 .rust pre > .result {
 766   margin-top: 10px;
 767 }
 768
 769 @media print {
 770   #sidebar {
 771     display: none;
 772   }
 773   #page-wrapper {
 774     left: 0;
 775     overflow-y: initial;
 776   }
 777   #content {
 778     max-width: none;
 779     margin: 0;
 780     padding: 0;
 781   }
 782   #menu-bar {
 783     display: none;
 784   }
 785   .page {
 786     overflow-y: initial;
 787   }
 788   .nav-chapters {
 789     display: none;
 790   }
 791   .mobile-nav-chapters {
 792     display: none;
 793   }
 794 }
 795
 796 div.footnote-definition p {
 797         display: inline;
 798 }