docs/style.css

   1 .thinborder {
   2 border-width: 1px;
   3 border-spacing: 0px;
   4 border-style: solid;
   5 border-color: black;
   6 border-collapse: collapse;
   7 }
   8
   9 .thinborder td,
  10 .thinborder th {
  11 border-width: 1px;
  12 padding: 5px;
  13 border-style: solid;
  14 border-color: black;
  15 }
  16
  17 #nav {
  18 position: absolute;
  19 width: 160px;
  20 font-size: 12px;
  21 line-height: 1em;
  22 padding: 0;
  23 margin: 0;
  24 float: left;
  25 }
  26
  27 #nav h2 {
  28 font-size: 14px;
  29 }
  30
  31 #nav ul {
  32 list-style: none;
  33 padding-left: 15px;
  34 margin: 0;
  35 }
  36
  37 #nav ul li {
  38 line-height: 1.5em;
  39 }
  40
  41
  42 #content {
  43 position: absolute;
  44 left: 160px;
  45 top: 0px;
  46 border-left: 2px solid rgb(229, 236, 249);
  47 padding-left: 20px;
  48 margin-left: 0px;
  49 max-width: 900px;
  50 }
  51
  52 #content h1 {
  53 font-size: 30px;
  54 }
  55
  56 pre {
  57 padding: 0 10px;
  58 }
  59
  60 .tests {
  61   font-size: 80%;
  62   font-weight: bold;
  63 }
  64 .tests a {
  65   font-weight: normal;
  66   text-decoration: none;
  67 }
  68
  69 .padded-list li + li {
  70   padding-top: 10px;
  71 }
  72
  73 .padded-list .desc {
  74   font-style: italic;
  75 }