golang.org/x/tools@v0.21.0/cmd/present/static/article.css (about)

     1  body {
     2    margin: 0;
     3    font-family: Helvetica, Arial, sans-serif;
     4    font-size: 16px;
     5  }
     6  pre,
     7  code {
     8    font-family: Menlo, monospace;
     9    font-size: 14px;
    10  }
    11  pre {
    12    line-height: 18px;
    13    margin: 0;
    14    padding: 0;
    15  }
    16  a {
    17    color: #375eab;
    18    text-decoration: none;
    19  }
    20  a:hover {
    21    text-decoration: underline;
    22  }
    23  p,
    24  ul,
    25  ol {
    26    margin: 20px;
    27  }
    28  
    29  h1,
    30  h2,
    31  h3,
    32  h4 {
    33    margin: 20px 0;
    34    padding: 0;
    35    color: #375eab;
    36    font-weight: bold;
    37  }
    38  h1 {
    39    font-size: 18px;
    40    padding: 2px 5px;
    41  }
    42  h2 {
    43    font-size: 16px;
    44  }
    45  h3 {
    46    font-size: 16px;
    47  }
    48  h3,
    49  h4 {
    50    margin: 20px 5px;
    51  }
    52  h4 {
    53    font-size: 16px;
    54  }
    55  
    56  div#heading {
    57    margin: 0 0 10px 0;
    58    padding: 21px 0;
    59    font-size: 20px;
    60    font-weight: bold;
    61  }
    62  
    63  div#heading .author {
    64    padding-top: 10px;
    65    font-size: 14px;
    66    font-weight: normal;
    67  }
    68  
    69  div#topbar {
    70  }
    71  
    72  body {
    73    text-align: center;
    74  }
    75  div#page {
    76    width: 100%;
    77  }
    78  div#page > .container,
    79  div#topbar > .container {
    80    text-align: left;
    81    margin-left: auto;
    82    margin-right: auto;
    83    padding: 0 20px;
    84    width: 900px;
    85  }
    86  div#page.wide > .container,
    87  div#topbar.wide > .container {
    88    width: auto;
    89  }
    90  
    91  div#footer {
    92    text-align: center;
    93    color: #666;
    94    font-size: 14px;
    95    margin: 40px 0;
    96  }
    97  
    98  .author p {
    99    margin: 0;
   100    padding: 0 20px;
   101  }
   102  
   103  div.code,
   104  div.output {
   105    margin: 0;
   106  }
   107  
   108  pre {
   109    margin: 20px 20px 20px 40px;
   110    -webkit-border-radius: 5px;
   111    -moz-border-radius: 5px;
   112    border-radius: 5px;
   113  }
   114  
   115  div.output pre {
   116    padding: 10px;
   117  }
   118  
   119  pre {
   120    background: white;
   121  }
   122  div.output pre {
   123    background: black;
   124  }
   125  div.output .stdout pre {
   126    color: #e6e6e6;
   127  }
   128  div.output .stderr pre {
   129    color: rgb(244, 74, 63);
   130  }
   131  div.output .system pre {
   132    color: rgb(255, 209, 77);
   133  }
   134  
   135  .buttons {
   136    margin-left: 20px;
   137  }
   138  div.output .buttons {
   139    margin-left: 0;
   140    margin-bottom: 10px;
   141  }
   142  
   143  #toc {
   144    float: right;
   145    margin: 0px 10px;
   146    padding: 10px;
   147    border: 1px solid #e5ecf9;
   148    background-color: #eee;
   149    box-shadow: 3px 3px 2px #888888;
   150  
   151    max-width: 33%;
   152  
   153    -webkit-border-radius: 5px;
   154    -moz-border-radius: 5px;
   155    border-radius: 5px;
   156  }
   157  
   158  #tochead {
   159    font-weight: bold;
   160    font-variant: small-caps;
   161    font-size: 100%;
   162    text-align: center;
   163    padding-bottom: 5px;
   164  }
   165  
   166  #toc ul,
   167  #toc a {
   168    list-style-type: none;
   169    padding-left: 0px;
   170    color: black;
   171    margin: 0px;
   172  }
   173  
   174  ul.toc-inner a {
   175    padding-left: 10px !important;
   176  }
   177  
   178  @media print {
   179    .no-print,
   180    .no-print * {
   181      display: none !important;
   182    }
   183  }