github.com/cockroachdb/tools@v0.0.0-20230222021103-a6d27438930d/cmd/present/static/dir.css (about)

     1  /* copied from $GOROOT/doc/style.css */
     2  
     3  body {
     4    margin: 0;
     5    font-family: Helvetica, Arial, sans-serif;
     6    font-size: 16px;
     7  }
     8  pre,
     9  code {
    10    font-family: Menlo, monospace;
    11    font-size: 14px;
    12  }
    13  pre {
    14    line-height: 18px;
    15  }
    16  pre .comment {
    17    color: #375eab;
    18  }
    19  pre .highlight,
    20  pre .highlight-comment,
    21  pre .selection-highlight,
    22  pre .selection-highlight-comment {
    23    background: #ffff00;
    24  }
    25  pre .selection,
    26  pre .selection-comment {
    27    background: #ff9632;
    28  }
    29  pre .ln {
    30    color: #999;
    31  }
    32  body {
    33    color: #222;
    34  }
    35  a,
    36  .exampleHeading .text {
    37    color: #375eab;
    38    text-decoration: none;
    39  }
    40  a:hover,
    41  .exampleHeading .text:hover {
    42    text-decoration: underline;
    43  }
    44  p,
    45  pre,
    46  ul,
    47  ol {
    48    margin: 20px;
    49  }
    50  pre {
    51    background: #e9e9e9;
    52    padding: 10px;
    53  
    54    -webkit-border-radius: 5px;
    55    -moz-border-radius: 5px;
    56    border-radius: 5px;
    57  }
    58  
    59  h1,
    60  h2,
    61  h3,
    62  h4,
    63  .rootHeading {
    64    margin: 20px 0;
    65    padding: 0;
    66    color: #375eab;
    67    font-weight: bold;
    68  }
    69  h1 {
    70    font-size: 24px;
    71  }
    72  h2 {
    73    font-size: 20px;
    74    background: #e0ebf5;
    75    padding: 2px 5px;
    76  }
    77  h3 {
    78    font-size: 20px;
    79  }
    80  h3,
    81  h4 {
    82    margin: 20px 5px;
    83  }
    84  h4 {
    85    font-size: 16px;
    86  }
    87  
    88  dl {
    89    margin: 20px;
    90  }
    91  dd {
    92    margin: 2px 20px;
    93  }
    94  dl,
    95  dd {
    96    font-size: 14px;
    97  }
    98  div#nav table td {
    99    vertical-align: top;
   100  }
   101  
   102  div#heading {
   103    float: left;
   104    margin: 0 0 10px 0;
   105    padding: 21px 0;
   106    font-size: 20px;
   107    font-weight: normal;
   108  }
   109  div#heading a {
   110    color: #222;
   111    text-decoration: none;
   112  }
   113  
   114  div#topbar {
   115    background: #e0ebf5;
   116    height: 64px;
   117  }
   118  
   119  body {
   120    text-align: center;
   121  }
   122  div#page,
   123  div#topbar > .container {
   124    clear: both;
   125    text-align: left;
   126    margin-left: auto;
   127    margin-right: auto;
   128    padding: 0 20px;
   129    width: 900px;
   130  }
   131  div#page.wide,
   132  div#topbar > .wide {
   133    width: auto;
   134  }
   135  div#plusone {
   136    float: right;
   137  }
   138  
   139  div#footer {
   140    color: #666;
   141    font-size: 14px;
   142    margin: 40px 0;
   143  }
   144  
   145  div#menu > a,
   146  div#menu > input {
   147    padding: 10px;
   148  
   149    text-decoration: none;
   150    font-size: 16px;
   151  
   152    -webkit-border-radius: 5px;
   153    -moz-border-radius: 5px;
   154    border-radius: 5px;
   155  }
   156  div#menu > a,
   157  div#menu > input {
   158    border: 1px solid #375eab;
   159  }
   160  div#menu > a {
   161    color: white;
   162    background: #375eab;
   163  }
   164  
   165  div#menu {
   166    float: right;
   167    min-width: 590px;
   168    padding: 10px 0;
   169    text-align: right;
   170  }
   171  div#menu > a {
   172    margin-right: 5px;
   173    margin-bottom: 10px;
   174  
   175    padding: 10px;
   176  }
   177  div#menu > input {
   178    position: relative;
   179    top: 1px;
   180    width: 60px;
   181    background: white;
   182    color: #222;
   183  }
   184  div#menu > input.inactive {
   185    color: #999;
   186  }