github.com/treeverse/lakefs@v1.24.1-0.20240520134607-95648127bfb0/docs/assets/css/pygments/github.css (about)

     1  .highlighter-rouge .highlight table td { padding: 5px; }
     2  .highlighter-rouge .highlight table pre { margin: 0; }
     3  .highlighter-rouge .highlight .cm {
     4    color: #999988;
     5    font-style: italic;
     6  }
     7  .highlighter-rouge .highlight .cp {
     8    color: #999999;
     9    font-weight: bold;
    10  }
    11  .highlighter-rouge .highlight .c1 {
    12    color: #999988;
    13    font-style: italic;
    14  }
    15  .highlighter-rouge .highlight .cs {
    16    color: #999999;
    17    font-weight: bold;
    18    font-style: italic;
    19  }
    20  .highlighter-rouge .highlight .c, .highlighter-rouge .highlight .ch, .highlighter-rouge .highlight .cd, .highlighter-rouge .highlight .cpf {
    21    color: #999988;
    22    font-style: italic;
    23  }
    24  .highlighter-rouge .highlight .err {
    25    color: #a61717;
    26    background-color: #e3d2d2;
    27  }
    28  .highlighter-rouge .highlight .gd {
    29    color: #000000;
    30    background-color: #ffdddd;
    31  }
    32  .highlighter-rouge .highlight .ge {
    33    color: #000000;
    34    font-style: italic;
    35  }
    36  .highlighter-rouge .highlight .gr {
    37    color: #aa0000;
    38  }
    39  .highlighter-rouge .highlight .gh {
    40    color: #999999;
    41  }
    42  .highlighter-rouge .highlight .gi {
    43    color: #000000;
    44    background-color: #ddffdd;
    45  }
    46  .highlighter-rouge .highlight .go {
    47    color: #888888;
    48  }
    49  .highlighter-rouge .highlight .gp {
    50    color: #555555;
    51  }
    52  .highlighter-rouge .highlight .gs {
    53    font-weight: bold;
    54  }
    55  .highlighter-rouge .highlight .gu {
    56    color: #aaaaaa;
    57  }
    58  .highlighter-rouge .highlight .gt {
    59    color: #aa0000;
    60  }
    61  .highlighter-rouge .highlight .kc {
    62    color: #000000;
    63    font-weight: bold;
    64  }
    65  .highlighter-rouge .highlight .kd {
    66    color: #000000;
    67    font-weight: bold;
    68  }
    69  .highlighter-rouge .highlight .kn {
    70    color: #000000;
    71    font-weight: bold;
    72  }
    73  .highlighter-rouge .highlight .kp {
    74    color: #000000;
    75    font-weight: bold;
    76  }
    77  .highlighter-rouge .highlight .kr {
    78    color: #000000;
    79    font-weight: bold;
    80  }
    81  .highlighter-rouge .highlight .kt {
    82    color: #445588;
    83    font-weight: bold;
    84  }
    85  .highlighter-rouge .highlight .k, .highlighter-rouge .highlight .kv {
    86    color: #000000;
    87    font-weight: bold;
    88  }
    89  .highlighter-rouge .highlight .mf {
    90    color: #009999;
    91  }
    92  .highlighter-rouge .highlight .mh {
    93    color: #009999;
    94  }
    95  .highlighter-rouge .highlight .il {
    96    color: #009999;
    97  }
    98  .highlighter-rouge .highlight .mi {
    99    color: #009999;
   100  }
   101  .highlighter-rouge .highlight .mo {
   102    color: #009999;
   103  }
   104  .highlighter-rouge .highlight .m, .highlighter-rouge .highlight .mb, .highlighter-rouge .highlight .mx {
   105    color: #009999;
   106  }
   107  .highlighter-rouge .highlight .sb {
   108    color: #d14;
   109  }
   110  .highlighter-rouge .highlight .sc {
   111    color: #d14;
   112  }
   113  .highlighter-rouge .highlight .sd {
   114    color: #d14;
   115  }
   116  .highlighter-rouge .highlight .s2 {
   117    color: #d14;
   118  }
   119  .highlighter-rouge .highlight .se {
   120    color: #d14;
   121  }
   122  .highlighter-rouge .highlight .sh {
   123    color: #d14;
   124  }
   125  .highlighter-rouge .highlight .si {
   126    color: #d14;
   127  }
   128  .highlighter-rouge .highlight .sx {
   129    color: #d14;
   130  }
   131  .highlighter-rouge .highlight .sr {
   132    color: #009926;
   133  }
   134  .highlighter-rouge .highlight .s1 {
   135    color: #d14;
   136  }
   137  .highlighter-rouge .highlight .ss {
   138    color: #990073;
   139  }
   140  .highlighter-rouge .highlight .s, .highlighter-rouge .highlight .sa, .highlighter-rouge .highlight .dl {
   141    color: #d14;
   142  }
   143  .highlighter-rouge .highlight .na {
   144    color: #008080;
   145  }
   146  .highlighter-rouge .highlight .n {
   147    color: #032f62;
   148  }
   149  .highlighter-rouge .highlight .bp {
   150    color: #999999;
   151  }
   152  .highlighter-rouge .highlight .nb {
   153    color: #0086B3;
   154  }
   155  .highlighter-rouge .highlight .nc {
   156    color: #445588;
   157    font-weight: bold;
   158  }
   159  .highlighter-rouge .highlight .no {
   160    color: #008080;
   161  }
   162  .highlighter-rouge .highlight .nd {
   163    color: #3c5d5d;
   164    font-weight: bold;
   165  }
   166  .highlighter-rouge .highlight .ni {
   167    color: #800080;
   168  }
   169  .highlighter-rouge .highlight .ne {
   170    color: #990000;
   171    font-weight: bold;
   172  }
   173  .highlighter-rouge .highlight .nf, .highlighter-rouge .highlight .fm {
   174    color: #990000;
   175    font-weight: bold;
   176  }
   177  .highlighter-rouge .highlight .nl {
   178    color: #990000;
   179    font-weight: bold;
   180  }
   181  .highlighter-rouge .highlight .nn {
   182    color: #555555;
   183  }
   184  .highlighter-rouge .highlight .nt {
   185    color: #000080;
   186  }
   187  .highlighter-rouge .highlight .vc {
   188    color: #008080;
   189  }
   190  .highlighter-rouge .highlight .vg {
   191    color: #008080;
   192  }
   193  .highlighter-rouge .highlight .vi {
   194    color: #008080;
   195  }
   196  .highlighter-rouge .highlight .nv, .highlighter-rouge .highlight .vm {
   197    color: #008080;
   198  }
   199  .highlighter-rouge .highlight .ow {
   200    color: #000000;
   201    font-weight: bold;
   202  }
   203  .highlighter-rouge .highlight .o {
   204    color: #000000;
   205    font-weight: bold;
   206  }
   207  .highlighter-rouge .highlight .w {
   208    color: #bbbbbb;
   209  }
   210  .highlighter-rouge .highlight {
   211    background-color: #f8f8f8;
   212  }