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