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 }
  50
  51 #content h1 {
  52 font-size: 30px;
  53 }
  54
  55 pre {
  56 padding: 0 10px;
  57 }
  58
  59 .tests {
  60   font-size: 80%;
  61   font-weight: bold;
  62 }
  63 .tests a {
  64   font-weight: normal;
  65   text-decoration: none;
  66 }