golang.org/x/tools@v0.21.0/godoc/static/style.css (about)

     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  a#start {
   407    display: block;
   408    padding: 0.625rem;
   409  
   410    text-align: center;
   411    text-decoration: none;
   412    border-radius: 0.3125rem;
   413  }
   414  a#start .big {
   415    display: block;
   416    font-weight: bold;
   417    font-size: 1.25rem;
   418  }
   419  a#start .desc {
   420    display: block;
   421    font-size: 0.875rem;
   422    font-weight: normal;
   423    margin-top: 0.3125rem;
   424  }
   425  
   426  div#learn .popout {
   427    float: right;
   428    display: block;
   429    cursor: pointer;
   430    font-size: 0.75rem;
   431    background: url(/doc/share.png) no-repeat;
   432    background-position: right center;
   433    padding: 0.375rem 1.688rem;
   434  }
   435  div#learn pre,
   436  div#learn textarea {
   437    padding: 0;
   438    margin: 0;
   439    font-family: Menlo, monospace;
   440    font-size: 0.875rem;
   441  }
   442  div#learn .input {
   443    padding: 0.625rem;
   444    margin-top: 0.625rem;
   445    height: 9.375rem;
   446  
   447    border-top-left-radius: 0.3125rem;
   448    border-top-right-radius: 0.3125rem;
   449  }
   450  div#learn .input textarea {
   451    width: 100%;
   452    height: 100%;
   453    border: none;
   454    outline: none;
   455    resize: none;
   456  }
   457  div#learn .output {
   458    border-top: none !important;
   459  
   460    padding: 0.625rem;
   461    height: 3.688rem;
   462    overflow: auto;
   463  
   464    border-bottom-right-radius: 0.3125rem;
   465    border-bottom-left-radius: 0.3125rem;
   466  }
   467  div#learn .output pre {
   468    padding: 0;
   469    border-radius: 0;
   470  }
   471  div#learn .input,
   472  div#learn .input textarea,
   473  div#learn .output,
   474  div#learn .output pre {
   475    background: #ffffd8;
   476  }
   477  div#learn .input,
   478  div#learn .output {
   479    border: 0.0625rem solid #375eab;
   480  }
   481  div#learn .buttons {
   482    float: right;
   483    padding: 1.25rem 0 0.625rem 0;
   484    text-align: right;
   485  }
   486  div#learn .buttons a {
   487    height: 1rem;
   488    margin-left: 0.3125rem;
   489    padding: 0.625rem;
   490  }
   491  div#learn .toys {
   492    margin-top: 0.5rem;
   493  }
   494  div#learn .toys select {
   495    font-size: 0.875rem;
   496    border: 0.0625rem solid #375eab;
   497    margin: 0;
   498  }
   499  div#learn .output .exit {
   500    display: none;
   501  }
   502  
   503  div#video {
   504    max-width: 100%;
   505  }
   506  div#blog,
   507  div#video {
   508    margin-top: 2.5rem;
   509  }
   510  div#blog > a,
   511  div#blog > div,
   512  div#blog > h2,
   513  div#video > a,
   514  div#video > div,
   515  div#video > h2 {
   516    margin-bottom: 0.625rem;
   517  }
   518  div#blog .title,
   519  div#video .title {
   520    display: block;
   521    font-size: 1.25rem;
   522  }
   523  div#blog .when {
   524    color: #666;
   525    font-size: 0.875rem;
   526  }
   527  div#blog .read {
   528    text-align: right;
   529  }
   530  
   531  @supports (--c: 0) {
   532    [style*='--aspect-ratio-padding:'] {
   533      position: relative;
   534      overflow: hidden;
   535      padding-top: var(--aspect-ratio-padding);
   536    }
   537  
   538    [style*='--aspect-ratio-padding:'] > * {
   539      position: absolute;
   540      top: 0;
   541      left: 0;
   542      width: 100%;
   543      height: 100%;
   544    }
   545  }
   546  
   547  .toggleButton {
   548    cursor: pointer;
   549  }
   550  .toggle > .collapsed {
   551    display: block;
   552  }
   553  .toggle > .expanded {
   554    display: none;
   555  }
   556  .toggleVisible > .collapsed {
   557    display: none;
   558  }
   559  .toggleVisible > .expanded {
   560    display: block;
   561  }
   562  
   563  table.codetable {
   564    margin-left: auto;
   565    margin-right: auto;
   566    border-style: none;
   567  }
   568  table.codetable td {
   569    padding-right: 0.625rem;
   570  }
   571  hr {
   572    border-style: none;
   573    border-top: 0.0625rem solid black;
   574  }
   575  
   576  img.gopher {
   577    float: right;
   578    margin-left: 0.625rem;
   579    margin-top: -2.5rem;
   580    margin-bottom: 0.625rem;
   581    z-index: -1;
   582  }
   583  h2 {
   584    clear: right;
   585  }
   586  
   587  /* example and drop-down playground */
   588  div.play {
   589    padding: 0 1.25rem 2.5rem 1.25rem;
   590  }
   591  div.play pre,
   592  div.play textarea,
   593  div.play .lines {
   594    padding: 0;
   595    margin: 0;
   596    font-family: Menlo, monospace;
   597    font-size: 0.875rem;
   598  }
   599  div.play .input {
   600    padding: 0.625rem;
   601    margin-top: 0.625rem;
   602  
   603    border-top-left-radius: 0.3125rem;
   604    border-top-right-radius: 0.3125rem;
   605  
   606    overflow: hidden;
   607  }
   608  div.play .input textarea {
   609    width: 100%;
   610    height: 100%;
   611    border: none;
   612    outline: none;
   613    resize: none;
   614  
   615    overflow: hidden;
   616  }
   617  div#playground .input textarea {
   618    overflow: auto;
   619    resize: auto;
   620  }
   621  div.play .output {
   622    border-top: none !important;
   623  
   624    padding: 0.625rem;
   625    max-height: 12.5rem;
   626    overflow: auto;
   627  
   628    border-bottom-right-radius: 0.3125rem;
   629    border-bottom-left-radius: 0.3125rem;
   630  }
   631  div.play .output pre {
   632    padding: 0;
   633    border-radius: 0;
   634  }
   635  div.play .input,
   636  div.play .input textarea,
   637  div.play .output,
   638  div.play .output pre {
   639    background: #ffffd8;
   640  }
   641  div.play .input,
   642  div.play .output {
   643    border: 0.0625rem solid #375eab;
   644  }
   645  div.play .buttons {
   646    float: right;
   647    padding: 1.25rem 0 0.625rem 0;
   648    text-align: right;
   649  }
   650  div.play .buttons a {
   651    height: 1rem;
   652    margin-left: 0.3125rem;
   653    padding: 0.625rem;
   654    cursor: pointer;
   655  }
   656  .output .stderr {
   657    color: #933;
   658  }
   659  .output .system {
   660    color: #999;
   661  }
   662  
   663  /* drop-down playground */
   664  div#playground {
   665    /* start hidden; revealed by javascript */
   666    display: none;
   667  }
   668  div#playground {
   669    position: absolute;
   670    top: 3.938rem;
   671    right: 1.25rem;
   672    padding: 0 0.625rem 0.625rem 0.625rem;
   673    z-index: 1;
   674    text-align: left;
   675    background: #e0ebf5;
   676  
   677    border: 0.0625rem solid #b0bbc5;
   678    border-top: none;
   679  
   680    border-bottom-left-radius: 0.3125rem;
   681    border-bottom-right-radius: 0.3125rem;
   682  }
   683  div#playground .code {
   684    width: 32.5rem;
   685    height: 12.5rem;
   686  }
   687  div#playground .output {
   688    height: 6.25rem;
   689  }
   690  
   691  /* Inline runnable snippets (play.js/initPlayground) */
   692  #content .code pre,
   693  #content .playground pre,
   694  #content .output pre {
   695    margin: 0;
   696    padding: 0;
   697    background: none;
   698    border: none;
   699    outline: 0 solid transparent;
   700    overflow: auto;
   701  }
   702  #content .playground .number,
   703  #content .code .number {
   704    color: #999;
   705  }
   706  #content .code,
   707  #content .playground,
   708  #content .output {
   709    width: auto;
   710    margin: 1.25rem;
   711    padding: 0.625rem;
   712    border-radius: 0.3125rem;
   713  }
   714  #content .code,
   715  #content .playground {
   716    background: #e9e9e9;
   717  }
   718  #content .output {
   719    background: #202020;
   720  }
   721  #content .output .stdout,
   722  #content .output pre {
   723    color: #e6e6e6;
   724  }
   725  #content .output .stderr,
   726  #content .output .error {
   727    color: rgb(244, 74, 63);
   728  }
   729  #content .output .system,
   730  #content .output .exit {
   731    color: rgb(255, 209, 77);
   732  }
   733  #content .buttons {
   734    position: relative;
   735    float: right;
   736    top: -3.125rem;
   737    right: 1.875rem;
   738  }
   739  #content .output .buttons {
   740    top: -3.75rem;
   741    right: 0;
   742    height: 0;
   743  }
   744  #content .buttons .kill {
   745    display: none;
   746    visibility: hidden;
   747  }
   748  a.error {
   749    font-weight: bold;
   750    color: white;
   751    background-color: darkred;
   752    border-bottom-left-radius: 0.25rem;
   753    border-bottom-right-radius: 0.25rem;
   754    border-top-left-radius: 0.25rem;
   755    border-top-right-radius: 0.25rem;
   756    padding: 0.125rem 0.25rem 0.125rem 0.25rem; /* TRBL */
   757  }
   758  
   759  #heading-narrow {
   760    display: none;
   761  }
   762  
   763  .downloading {
   764    background: #f9f9be;
   765    padding: 0.625rem;
   766    text-align: center;
   767    border-radius: 0.3125rem;
   768  }
   769  
   770  @media (max-width: 58.125em) {
   771    #heading-wide {
   772      display: none;
   773    }
   774    #heading-narrow {
   775      display: block;
   776    }
   777  }
   778  
   779  @media (max-width: 47.5em) {
   780    .container .left,
   781    .container .right {
   782      width: auto;
   783      float: none;
   784    }
   785  
   786    div#about {
   787      max-width: 31.25rem;
   788      text-align: center;
   789    }
   790  }
   791  
   792  @media (min-width: 43.75em) and (max-width: 62.5em) {
   793    div#menu > a {
   794      margin: 0.3125rem 0;
   795      font-size: 0.875rem;
   796    }
   797  
   798    input#search {
   799      font-size: 0.875rem;
   800    }
   801  }
   802  
   803  @media (max-width: 43.75em) {
   804    body {
   805      font-size: 0.9375rem;
   806    }
   807  
   808    div#playground {
   809      left: 0;
   810      right: 0;
   811    }
   812  
   813    pre,
   814    code {
   815      font-size: 0.866rem;
   816    }
   817  
   818    div#page > .container {
   819      padding: 0 0.625rem;
   820    }
   821  
   822    div#topbar {
   823      height: auto;
   824      padding: 0.625rem;
   825    }
   826  
   827    div#topbar > .container {
   828      padding: 0;
   829    }
   830  
   831    #heading-wide {
   832      display: block;
   833    }
   834    #heading-narrow {
   835      display: none;
   836    }
   837  
   838    .top-heading {
   839      float: none;
   840      display: inline-block;
   841      padding: 0.75rem;
   842    }
   843  
   844    div#menu {
   845      padding: 0;
   846      min-width: 0;
   847      text-align: left;
   848      float: left;
   849    }
   850  
   851    div#menu > a {
   852      display: block;
   853      margin-left: 0;
   854      margin-right: 0;
   855    }
   856  
   857    #menu .search-box {
   858      display: flex;
   859      width: 100%;
   860    }
   861  
   862    #menu-button {
   863      display: inline-block;
   864    }
   865  
   866    p,
   867    pre,
   868    ul,
   869    ol {
   870      margin: 0.625rem;
   871    }
   872  
   873    .pkg-synopsis {
   874      display: none;
   875    }
   876  
   877    img.gopher {
   878      display: none;
   879    }
   880  }
   881  
   882  @media (max-width: 30em) {
   883    #heading-wide {
   884      display: none;
   885    }
   886    #heading-narrow {
   887      display: block;
   888    }
   889  }
   890  
   891  @media print {
   892    pre {
   893      background: #fff;
   894      border: 0.0625rem solid #bbb;
   895      white-space: pre-wrap;
   896    }
   897  }