.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/godoc/static/style.css

   1 body {
   2   margin: 0;
   3   font-family: Arial, sans-serif;
   4   background-color: #fff;
   5   line-height: 1.3;
   6   text-align: center;
   7   color: #222;
   8 }
   9 textarea {
  10   /* Inherit text color from body avoiding illegible text in the case where the
  11         * user has inverted the browsers custom text and background colors. */
  12   color: inherit;
  13 }
  14 pre,
  15 code {
  16   font-family: Menlo, monospace;
  17   font-size: 0.875rem;
  18 }
  19 pre {
  20   line-height: 1.4;
  21   overflow-x: auto;
  22 }
  23 pre .comment {
  24   color: #006600;
  25 }
  26 pre .highlight,
  27 pre .highlight-comment,
  28 pre .selection-highlight,
  29 pre .selection-highlight-comment {
  30   background: #ffff00;
  31 }
  32 pre .selection,
  33 pre .selection-comment {
  34   background: #ff9632;
  35 }
  36 pre .ln {
  37   color: #999;
  38   background: #efefef;
  39 }
  40 .ln {
  41   -webkit-user-select: none;
  42   -moz-user-select: none;
  43   -ms-user-select: none;
  44   user-select: none;
  45
  46   /* Ensure 8 characters in the document - which due to floating
  47    * point rendering issues, might have a width of less than 1 each - are 8
  48    * characters wide, so a tab in the 9th position indents properly. See
  49    * https://github.com/webcompat/web-bugs/issues/17530#issuecomment-402675091
  50    * for more information. */
  51   display: inline-block;
  52   width: 8ch;
  53 }
  54
  55 .search-nav {
  56   margin-left: 1.25rem;
  57   font-size: 0.875rem;
  58   column-gap: 1.25rem;
  59   column-fill: auto;
  60   column-width: 14rem;
  61 }
  62
  63 .search-nav .indent {
  64   margin-left: 1.25rem;
  65 }
  66
  67 a,
  68 .exampleHeading .text,
  69 .expandAll {
  70   color: #375eab;
  71   text-decoration: none;
  72 }
  73 a:hover,
  74 .exampleHeading .text:hover,
  75 .expandAll:hover {
  76   text-decoration: underline;
  77 }
  78 .article a {
  79   text-decoration: underline;
  80 }
  81 .article .title a {
  82   text-decoration: none;
  83 }
  84
  85 .permalink {
  86   display: none;
  87 }
  88 :hover > .permalink {
  89   display: inline;
  90 }
  91
  92 p,
  93 li {
  94   max-width: 50rem;
  95   word-wrap: break-word;
  96 }
  97 p,
  98 pre,
  99 ul,
 100 ol {
 101   margin: 1.25rem;
 102 }
 103 pre {
 104   background: #efefef;
 105   padding: 0.625rem;
 106   border-radius: 0.3125rem;
 107 }
 108
 109 h1,
 110 h2,
 111 h3,
 112 h4,
 113 .rootHeading {
 114   margin: 1.25rem 0 1.25rem;
 115   padding: 0;
 116   color: #375eab;
 117   font-weight: bold;
 118 }
 119 h1 {
 120   font-size: 1.75rem;
 121   line-height: 1;
 122 }
 123 h1 .text-muted {
 124   color: #777;
 125 }
 126 h2 {
 127   font-size: 1.25rem;
 128   background: #e0ebf5;
 129   padding: 0.5rem;
 130   line-height: 1.25;
 131   font-weight: normal;
 132   overflow: auto;
 133   overflow-wrap: break-word;
 134 }
 135 h2 a {
 136   font-weight: bold;
 137 }
 138 h3 {
 139   font-size: 1.25rem;
 140   line-height: 1.25;
 141   overflow: auto;
 142   overflow-wrap: break-word;
 143 }
 144 h3,
 145 h4 {
 146   margin: 1.25rem 0.3125rem;
 147 }
 148 h4 {
 149   font-size: 1rem;
 150 }
 151 .rootHeading {
 152   font-size: 1.25rem;
 153   margin: 0;
 154 }
 155
 156 h2 > span,
 157 h3 > span {
 158   float: right;
 159   margin: 0 25px 0 0;
 160   font-weight: normal;
 161   color: #5279c7;
 162 }
 163
 164 dl {
 165   margin: 1.25rem;
 166 }
 167 dd {
 168   margin: 0 0 0 1.25rem;
 169 }
 170 dl,
 171 dd {
 172   font-size: 0.875rem;
 173 }
 174 div#nav table td {
 175   vertical-align: top;
 176 }
 177
 178 #pkg-index h3 {
 179   font-size: 1rem;
 180 }
 181 .pkg-dir {
 182   padding: 0 0.625rem;
 183 }
 184 .pkg-dir table {
 185   border-collapse: collapse;
 186   border-spacing: 0;
 187 }
 188 .pkg-name {
 189   padding-right: 0.625rem;
 190 }
 191 .alert {
 192   color: #aa0000;
 193 }
 194
 195 .top-heading {
 196   float: left;
 197   padding: 1.313rem 0;
 198   font-size: 1.25rem;
 199   font-weight: normal;
 200 }
 201 .top-heading a {
 202   color: #222;
 203   text-decoration: none;
 204 }
 205
 206 #pkg-examples h3 {
 207   float: left;
 208 }
 209
 210 #pkg-examples dl {
 211   clear: both;
 212 }
 213
 214 .expandAll {
 215   cursor: pointer;
 216   float: left;
 217   margin: 1.25rem 0;
 218 }
 219
 220 div#topbar {
 221   background: #e0ebf5;
 222   height: 4rem;
 223   overflow: hidden;
 224 }
 225
 226 div#page {
 227   width: 100%;
 228 }
 229 div#page > .container,
 230 div#topbar > .container {
 231   text-align: left;
 232   margin-left: auto;
 233   margin-right: auto;
 234   padding: 0 1.25rem;
 235 }
 236 div#topbar > .container,
 237 div#page > .container {
 238   max-width: 59.38rem;
 239 }
 240 div#page.wide > .container,
 241 div#topbar.wide > .container {
 242   max-width: none;
 243 }
 244 div#plusone {
 245   float: right;
 246   clear: right;
 247   margin-top: 0.3125rem;
 248 }
 249
 250 div#footer {
 251   text-align: center;
 252   color: #666;
 253   font-size: 0.875rem;
 254   margin: 2.5rem 0;
 255 }
 256
 257 div#menu > a,
 258 input#search,
 259 div#learn .buttons a,
 260 div.play .buttons a,
 261 div#blog .read a,
 262 #menu-button {
 263   padding: 0.625rem;
 264
 265   text-decoration: none;
 266   font-size: 1rem;
 267   border-radius: 0.3125rem;
 268 }
 269 div#playground .buttons a,
 270 div#menu > a,
 271 input#search,
 272 #menu-button {
 273   border: 0.0625rem solid #375eab;
 274 }
 275 div#playground .buttons a,
 276 div#menu > a,
 277 #menu-button {
 278   color: white;
 279   background: #375eab;
 280 }
 281 #playgroundButton.active {
 282   background: white;
 283   color: #375eab;
 284 }
 285 a#start,
 286 div#learn .buttons a,
 287 div.play .buttons a,
 288 div#blog .read a {
 289   color: #222;
 290   border: 0.0625rem solid #375eab;
 291   background: #e0ebf5;
 292 }
 293 .download {
 294   width: 9.375rem;
 295 }
 296
 297 div#menu {
 298   text-align: right;
 299   padding: 0.625rem;
 300   white-space: nowrap;
 301   max-height: 0;
 302   -moz-transition: max-height 0.25s linear;
 303   transition: max-height 0.25s linear;
 304   width: 100%;
 305 }
 306 div#menu.menu-visible {
 307   max-height: 31.25rem;
 308 }
 309 div#menu > a,
 310 #menu-button {
 311   margin: 0.625rem 0.125rem;
 312   padding: 0.625rem;
 313 }
 314 ::-webkit-input-placeholder {
 315   color: #7f7f7f;
 316   opacity: 1;
 317 }
 318 ::placeholder {
 319   color: #7f7f7f;
 320   opacity: 1;
 321 }
 322 #menu .search-box {
 323   display: inline-flex;
 324   width: 8.75rem;
 325 }
 326 input#search {
 327   background: white;
 328   color: #222;
 329   box-sizing: border-box;
 330   -webkit-appearance: none;
 331   border-top-right-radius: 0;
 332   border-bottom-right-radius: 0;
 333   border-right: 0;
 334   margin-right: 0;
 335   flex-grow: 1;
 336   max-width: 100%;
 337   min-width: 5.625rem;
 338 }
 339 input#search:-webkit-search-decoration {
 340   -webkit-appearance: none;
 341 }
 342 input#search:-moz-ui-invalid {
 343   box-shadow: unset;
 344 }
 345 input#search + button {
 346   display: inline;
 347   font-size: 1em;
 348   background-color: #375eab;
 349   color: white;
 350   border: 0.0625rem solid #375eab;
 351   border-top-left-radius: 0;
 352   border-top-right-radius: 0.3125rem;
 353   border-bottom-left-radius: 0;
 354   border-bottom-right-radius: 0.3125rem;
 355   margin-left: 0;
 356   cursor: pointer;
 357 }
 358 input#search + button span {
 359   display: flex;
 360 }
 361 input#search + button svg {
 362   fill: white;
 363 }
 364
 365 #menu-button {
 366   display: none;
 367   position: absolute;
 368   right: 0.3125rem;
 369   top: 0;
 370   margin-right: 0.3125rem;
 371 }
 372 #menu-button-arrow {
 373   display: inline-block;
 374 }
 375 .vertical-flip {
 376   transform: rotate(-180deg);
 377 }
 378
 379 div.left {
 380   float: left;
 381   clear: left;
 382   margin-right: 2.5%;
 383 }
 384 div.right {
 385   float: right;
 386   clear: right;
 387   margin-left: 2.5%;
 388 }
 389 div.left,
 390 div.right {
 391   width: 45%;
 392 }
 393
 394 div#learn,
 395 div#about {
 396   padding-top: 1.25rem;
 397 }
 398 div#learn h2,
 399 div#about {
 400   margin: 0;
 401 }
 402 div#about {
 403   font-size: 1.25rem;
 404   margin: 0 auto 1.875rem;
 405 }
 406 div#gopher {
 407   background: url(/doc/gopher/frontpage.png) no-repeat;
 408   background-position: center top;
 409   height: 9.688rem;
 410   max-height: 200px; /* Setting in px to prevent the gopher from blowing up in very high default font-sizes */
 411 }
 412 a#start {
 413   display: block;
 414   padding: 0.625rem;
 415
 416   text-align: center;
 417   text-decoration: none;
 418   border-radius: 0.3125rem;
 419 }
 420 a#start .big {
 421   display: block;
 422   font-weight: bold;
 423   font-size: 1.25rem;
 424 }
 425 a#start .desc {
 426   display: block;
 427   font-size: 0.875rem;
 428   font-weight: normal;
 429   margin-top: 0.3125rem;
 430 }
 431
 432 div#learn .popout {
 433   float: right;
 434   display: block;
 435   cursor: pointer;
 436   font-size: 0.75rem;
 437   background: url(/doc/share.png) no-repeat;
 438   background-position: right center;
 439   padding: 0.375rem 1.688rem;
 440 }
 441 div#learn pre,
 442 div#learn textarea {
 443   padding: 0;
 444   margin: 0;
 445   font-family: Menlo, monospace;
 446   font-size: 0.875rem;
 447 }
 448 div#learn .input {
 449   padding: 0.625rem;
 450   margin-top: 0.625rem;
 451   height: 9.375rem;
 452
 453   border-top-left-radius: 0.3125rem;
 454   border-top-right-radius: 0.3125rem;
 455 }
 456 div#learn .input textarea {
 457   width: 100%;
 458   height: 100%;
 459   border: none;
 460   outline: none;
 461   resize: none;
 462 }
 463 div#learn .output {
 464   border-top: none !important;
 465
 466   padding: 0.625rem;
 467   height: 3.688rem;
 468   overflow: auto;
 469
 470   border-bottom-right-radius: 0.3125rem;
 471   border-bottom-left-radius: 0.3125rem;
 472 }
 473 div#learn .output pre {
 474   padding: 0;
 475   border-radius: 0;
 476 }
 477 div#learn .input,
 478 div#learn .input textarea,
 479 div#learn .output,
 480 div#learn .output pre {
 481   background: #ffffd8;
 482 }
 483 div#learn .input,
 484 div#learn .output {
 485   border: 0.0625rem solid #375eab;
 486 }
 487 div#learn .buttons {
 488   float: right;
 489   padding: 1.25rem 0 0.625rem 0;
 490   text-align: right;
 491 }
 492 div#learn .buttons a {
 493   height: 1rem;
 494   margin-left: 0.3125rem;
 495   padding: 0.625rem;
 496 }
 497 div#learn .toys {
 498   margin-top: 0.5rem;
 499 }
 500 div#learn .toys select {
 501   font-size: 0.875rem;
 502   border: 0.0625rem solid #375eab;
 503   margin: 0;
 504 }
 505 div#learn .output .exit {
 506   display: none;
 507 }
 508
 509 div#video {
 510   max-width: 100%;
 511 }
 512 div#blog,
 513 div#video {
 514   margin-top: 2.5rem;
 515 }
 516 div#blog > a,
 517 div#blog > div,
 518 div#blog > h2,
 519 div#video > a,
 520 div#video > div,
 521 div#video > h2 {
 522   margin-bottom: 0.625rem;
 523 }
 524 div#blog .title,
 525 div#video .title {
 526   display: block;
 527   font-size: 1.25rem;
 528 }
 529 div#blog .when {
 530   color: #666;
 531   font-size: 0.875rem;
 532 }
 533 div#blog .read {
 534   text-align: right;
 535 }
 536
 537 @supports (--c: 0) {
 538   [style*='--aspect-ratio-padding:'] {
 539     position: relative;
 540     overflow: hidden;
 541     padding-top: var(--aspect-ratio-padding);
 542   }
 543
 544   [style*='--aspect-ratio-padding:'] > * {
 545     position: absolute;
 546     top: 0;
 547     left: 0;
 548     width: 100%;
 549     height: 100%;
 550   }
 551 }
 552
 553 .toggleButton {
 554   cursor: pointer;
 555 }
 556 .toggle > .collapsed {
 557   display: block;
 558 }
 559 .toggle > .expanded {
 560   display: none;
 561 }
 562 .toggleVisible > .collapsed {
 563   display: none;
 564 }
 565 .toggleVisible > .expanded {
 566   display: block;
 567 }
 568
 569 table.codetable {
 570   margin-left: auto;
 571   margin-right: auto;
 572   border-style: none;
 573 }
 574 table.codetable td {
 575   padding-right: 0.625rem;
 576 }
 577 hr {
 578   border-style: none;
 579   border-top: 0.0625rem solid black;
 580 }
 581
 582 img.gopher {
 583   float: right;
 584   margin-left: 0.625rem;
 585   margin-bottom: 0.625rem;
 586   z-index: -1;
 587 }
 588 h2 {
 589   clear: right;
 590 }
 591
 592 /* example and drop-down playground */
 593 div.play {
 594   padding: 0 1.25rem 2.5rem 1.25rem;
 595 }
 596 div.play pre,
 597 div.play textarea,
 598 div.play .lines {
 599   padding: 0;
 600   margin: 0;
 601   font-family: Menlo, monospace;
 602   font-size: 0.875rem;
 603 }
 604 div.play .input {
 605   padding: 0.625rem;
 606   margin-top: 0.625rem;
 607
 608   border-top-left-radius: 0.3125rem;
 609   border-top-right-radius: 0.3125rem;
 610
 611   overflow: hidden;
 612 }
 613 div.play .input textarea {
 614   width: 100%;
 615   height: 100%;
 616   border: none;
 617   outline: none;
 618   resize: none;
 619
 620   overflow: hidden;
 621 }
 622 div#playground .input textarea {
 623   overflow: auto;
 624   resize: auto;
 625 }
 626 div.play .output {
 627   border-top: none !important;
 628
 629   padding: 0.625rem;
 630   max-height: 12.5rem;
 631   overflow: auto;
 632
 633   border-bottom-right-radius: 0.3125rem;
 634   border-bottom-left-radius: 0.3125rem;
 635 }
 636 div.play .output pre {
 637   padding: 0;
 638   border-radius: 0;
 639 }
 640 div.play .input,
 641 div.play .input textarea,
 642 div.play .output,
 643 div.play .output pre {
 644   background: #ffffd8;
 645 }
 646 div.play .input,
 647 div.play .output {
 648   border: 0.0625rem solid #375eab;
 649 }
 650 div.play .buttons {
 651   float: right;
 652   padding: 1.25rem 0 0.625rem 0;
 653   text-align: right;
 654 }
 655 div.play .buttons a {
 656   height: 1rem;
 657   margin-left: 0.3125rem;
 658   padding: 0.625rem;
 659   cursor: pointer;
 660 }
 661 .output .stderr {
 662   color: #933;
 663 }
 664 .output .system {
 665   color: #999;
 666 }
 667
 668 /* drop-down playground */
 669 div#playground {
 670   /* start hidden; revealed by javascript */
 671   display: none;
 672 }
 673 div#playground {
 674   position: absolute;
 675   top: 3.938rem;
 676   right: 1.25rem;
 677   padding: 0 0.625rem 0.625rem 0.625rem;
 678   z-index: 1;
 679   text-align: left;
 680   background: #e0ebf5;
 681
 682   border: 0.0625rem solid #b0bbc5;
 683   border-top: none;
 684
 685   border-bottom-left-radius: 0.3125rem;
 686   border-bottom-right-radius: 0.3125rem;
 687 }
 688 div#playground .code {
 689   width: 32.5rem;
 690   height: 12.5rem;
 691 }
 692 div#playground .output {
 693   height: 6.25rem;
 694 }
 695
 696 /* Inline runnable snippets (play.js/initPlayground) */
 697 #content .code pre,
 698 #content .playground pre,
 699 #content .output pre {
 700   margin: 0;
 701   padding: 0;
 702   background: none;
 703   border: none;
 704   outline: 0 solid transparent;
 705   overflow: auto;
 706 }
 707 #content .playground .number,
 708 #content .code .number {
 709   color: #999;
 710 }
 711 #content .code,
 712 #content .playground,
 713 #content .output {
 714   width: auto;
 715   margin: 1.25rem;
 716   padding: 0.625rem;
 717   border-radius: 0.3125rem;
 718 }
 719 #content .code,
 720 #content .playground {
 721   background: #e9e9e9;
 722 }
 723 #content .output {
 724   background: #202020;
 725 }
 726 #content .output .stdout,
 727 #content .output pre {
 728   color: #e6e6e6;
 729 }
 730 #content .output .stderr,
 731 #content .output .error {
 732   color: rgb(244, 74, 63);
 733 }
 734 #content .output .system,
 735 #content .output .exit {
 736   color: rgb(255, 209, 77);
 737 }
 738 #content .buttons {
 739   position: relative;
 740   float: right;
 741   top: -3.125rem;
 742   right: 1.875rem;
 743 }
 744 #content .output .buttons {
 745   top: -3.75rem;
 746   right: 0;
 747   height: 0;
 748 }
 749 #content .buttons .kill {
 750   display: none;
 751   visibility: hidden;
 752 }
 753 a.error {
 754   font-weight: bold;
 755   color: white;
 756   background-color: darkred;
 757   border-bottom-left-radius: 0.25rem;
 758   border-bottom-right-radius: 0.25rem;
 759   border-top-left-radius: 0.25rem;
 760   border-top-right-radius: 0.25rem;
 761   padding: 0.125rem 0.25rem 0.125rem 0.25rem; /* TRBL */
 762 }
 763
 764 #heading-narrow {
 765   display: none;
 766 }
 767
 768 .downloading {
 769   background: #f9f9be;
 770   padding: 0.625rem;
 771   text-align: center;
 772   border-radius: 0.3125rem;
 773 }
 774
 775 @media (max-width: 58.125em) {
 776   #heading-wide {
 777     display: none;
 778   }
 779   #heading-narrow {
 780     display: block;
 781   }
 782 }
 783
 784 @media (max-width: 47.5em) {
 785   .container .left,
 786   .container .right {
 787     width: auto;
 788     float: none;
 789   }
 790
 791   div#about {
 792     max-width: 31.25rem;
 793     text-align: center;
 794   }
 795 }
 796
 797 @media (min-width: 43.75em) and (max-width: 62.5em) {
 798   div#menu > a {
 799     margin: 0.3125rem 0;
 800     font-size: 0.875rem;
 801   }
 802
 803   input#search {
 804     font-size: 0.875rem;
 805   }
 806 }
 807
 808 @media (max-width: 43.75em) {
 809   body {
 810     font-size: 0.9375rem;
 811   }
 812
 813   div#playground {
 814     left: 0;
 815     right: 0;
 816   }
 817
 818   pre,
 819   code {
 820     font-size: 0.866rem;
 821   }
 822
 823   div#page > .container {
 824     padding: 0 0.625rem;
 825   }
 826
 827   div#topbar {
 828     height: auto;
 829     padding: 0.625rem;
 830   }
 831
 832   div#topbar > .container {
 833     padding: 0;
 834   }
 835
 836   #heading-wide {
 837     display: block;
 838   }
 839   #heading-narrow {
 840     display: none;
 841   }
 842
 843   .top-heading {
 844     float: none;
 845     display: inline-block;
 846     padding: 0.75rem;
 847   }
 848
 849   div#menu {
 850     padding: 0;
 851     min-width: 0;
 852     text-align: left;
 853     float: left;
 854   }
 855
 856   div#menu > a {
 857     display: block;
 858     margin-left: 0;
 859     margin-right: 0;
 860   }
 861
 862   #menu .search-box {
 863     display: flex;
 864     width: 100%;
 865   }
 866
 867   #menu-button {
 868     display: inline-block;
 869   }
 870
 871   p,
 872   pre,
 873   ul,
 874   ol {
 875     margin: 0.625rem;
 876   }
 877
 878   .pkg-synopsis {
 879     display: none;
 880   }
 881
 882   img.gopher {
 883     display: none;
 884   }
 885 }
 886
 887 @media (max-width: 30em) {
 888   #heading-wide {
 889     display: none;
 890   }
 891   #heading-narrow {
 892     display: block;
 893   }
 894 }
 895
 896 @media print {
 897   pre {
 898     background: #fff;
 899     border: 0.0625rem solid #bbb;
 900     white-space: pre-wrap;
 901   }
 902 }