docs/style.css

   1 html body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
   2 html>body {font: 76%/1.4em Arial, Helvetica, sans-serif;}
   3
   4 body {
   5         background-color: #fff;
   6         margin: 0;
   7         padding: 0;
   8 }
   9
  10 #wrapper { width: 750px; }
  11
  12 #content a {
  13         text-decoration: none;
  14         border-bottom: 1px solid;
  15 }
  16
  17 #content {
  18         margin-left: 40px;
  19         font-size: 1.2em;
  20         line-height: 1.5em;
  21         padding: 1em;
  22         vertical-align: top;
  23 }
  24
  25
  26 #banner h1 {
  27     font: 5em "georgia", "serif";
  28     padding-bottom: 2px;
  29     margin-bottom: 4px;
  30 }
  31
  32 #banner h2 {
  33     font: 2em "helvetica", "arial";
  34     color: #888;
  35     padding-top: 0px;
  36     margin-top : 0px;
  37 }
  38
  39 #intro {
  40     font: 1.2em "helvetica", "arial";
  41     line-height: 1.8em;
  42     color: #444;
  43     border-bottom: 1px solid #ccc;
  44     padding-bottom: 0;
  45     margin-bottom: 1em;
  46 }
  47
  48 #topbar {
  49         margin-top: 0px;
  50         padding: 1em;
  51         background-color: skyblue;
  52         color: navy;
  53 }
  54
  55 #topbar h1 {
  56         padding: 0;
  57         margin: 0;
  58         font: 2em, sans-serif;
  59         font-weight: bold;
  60 }
  61
  62 #get-udis86 {
  63     padding-bottom: 1em;
  64     border-bottom: 1px solid #ccc;
  65 }
  66 #menu {
  67 }
  68 .box {
  69         background-color: #efefef;
  70         border: 1px dotted #aaa;
  71         padding: .5em;
  72 }
  73
  74 li {
  75         margin-bottom: .5em;
  76 }
  77
  78 pre {
  79         padding: .5em;
  80 //      background-color: #f5f5f5;
  81         background-color: lightyellow;
  82         font-size: 1.1em;
  83 //      border: 1px solid #999;
  84 }
  85
  86 code {
  87         font-size: 1.2em;
  88 }
  89
  90 ul {
  91         margin: 1em;
  92 }