github.com/cockroachdb/tools@v0.0.0-20230222021103-a6d27438930d/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: 20px 20px 20px 40px;
   106    -webkit-border-radius: 5px;
   107    -moz-border-radius: 5px;
   108    border-radius: 5px;
   109  }
   110  
   111  div.output {
   112    padding: 10px;
   113  }
   114  
   115  div.code {
   116    background: white;
   117  }
   118  div.output {
   119    background: black;
   120  }
   121  div.output .stdout {
   122    color: #e6e6e6;
   123  }
   124  div.output .stderr {
   125    color: rgb(244, 74, 63);
   126  }
   127  div.output .system {
   128    color: rgb(255, 209, 77);
   129  }
   130  
   131  .buttons {
   132    margin-left: 20px;
   133  }
   134  div.output .buttons {
   135    margin-left: 0;
   136    margin-bottom: 10px;
   137  }
   138  
   139  #toc {
   140    float: right;
   141    margin: 0px 10px;
   142    padding: 10px;
   143    border: 1px solid #e5ecf9;
   144    background-color: #eee;
   145    box-shadow: 3px 3px 2px #888888;
   146  
   147    max-width: 33%;
   148  
   149    -webkit-border-radius: 5px;
   150    -moz-border-radius: 5px;
   151    border-radius: 5px;
   152  }
   153  
   154  #tochead {
   155    font-weight: bold;
   156    font-variant: small-caps;
   157    font-size: 100%;
   158    text-align: center;
   159    padding-bottom: 5px;
   160  }
   161  
   162  #toc ul,
   163  #toc a {
   164    list-style-type: none;
   165    padding-left: 0px;
   166    color: black;
   167    margin: 0px;
   168  }
   169  
   170  ul.toc-inner a {
   171    padding-left: 10px !important;
   172  }
   173  
   174  @media print {
   175    .no-print,
   176    .no-print * {
   177      display: none !important;
   178    }
   179  }