src/vendor/mdbook/src/theme/stylus/general.styl

   1 html, body {
   2     font-family: "Open Sans", sans-serif
   3     color: #333
   4 }
   5
   6 code {
   7     font-family: "Source Code Pro", "Menlo", "DejaVu Sans Mono", monospace;
   8     font-size: 0.875em;
   9 }
  10
  11 .left {
  12     float: left
  13 }
  14
  15 .right {
  16     float: right
  17 }
  18
  19 .hidden {
  20     display: none;
  21 }
  22
  23 h2, h3 { margin-top: 2.5em }
  24 h4, h5 { margin-top: 2em }
  25
  26 .header + .header h3, .header + .header h4, .header + .header h5 { margin-top: 1em }
  27
  28 table {
  29     margin: 0 auto;
  30     border-collapse: collapse;
  31
  32     td {
  33       padding: 3px 20px;
  34       border: 1px solid;
  35     }
  36
  37     thead {
  38       td { font-weight: 700; }
  39     }
  40 }