chiark - git - mdw - disorder/blob - docs.css

   1 body {
   2   color: black;
   3   background-color: white;
   4   font-family: times,serif;
   5   font-weight: normal;
   6   font-size: 12pt;
   7   font-variant: normal
   8 }
   9
  10 div.section {
  11   margin-left:1em
  12 }
  13
  14 h1 {
  15   background-color: #e0ffe0;
  16   font-family: helvetica,sans-serif;
  17   padding: 0.2em
  18 }
  19
  20 h2 {
  21   background-color: #e0ffe0;
  22   font-family: helvetica,sans-serif;
  23   padding: 0.2em
  24 }
  25
  26 h3 {
  27   background-color: #f0f0f0;
  28   font-family: helvetica,sans-serif;
  29   padding: 0.2em
  30 }
  31
  32 h4 {
  33   font-family: helvetica,sans-serif
  34 }
  35
  36 table.bugs {
  37   width: 100%;
  38   font-size: 12pt;
  39   border-collapse: collapse;
  40   border:1px
  41 }
  42
  43 table.bugs th {
  44   text-align: left;
  45   border: 1px solid black;
  46   background-color: black;
  47   color: white
  48 }
  49
  50 table.bugs td {
  51   border: 1px solid
  52 }
  53
  54 span.command {
  55   font-family: monospace
  56 }