docs/style.css

   1 body {
   2         font: 76%, sans-serif;
   3         background-color: #fff;
   4         margin: 0;
   5         padding: 0;
   6 }
   7
   8 #topbar {
   9         margin-top: 0px;
  10         padding: 1em;
  11         background-color: skyblue;
  12         color: navy;
  13 }
  14
  15 #topbar h1 {
  16         padding: 0;
  17         margin: 0;
  18         font: 2em, sans-serif;
  19         font-weight: bold;
  20 }
  21
  22 #wrapper {
  23         width: 750px;
  24 }
  25
  26 #menu {
  27 }
  28 #content a {
  29         text-decoration: none;
  30         color: navy;
  31 //      border-bottom: 1px solid;
  32 }
  33
  34 #content {
  35         margin-left: 40px;
  36         font-size: 1.1em;
  37         line-height: 1.4em;
  38         padding: 1em;
  39         vertical-align: top;
  40         border-left: 1px solid skyblue;
  41         border-right: 1px solid skyblue;
  42 }
  43
  44 .box {
  45         background-color: #efefef;
  46         border: 1px dotted #aaa;
  47         padding: .5em;
  48 }
  49
  50 li {
  51         margin-bottom: .5em;
  52 }
  53
  54 pre {
  55         padding: .5em;
  56         background-color: #f5f5f5;
  57         font-size: 1.1em;
  58         border: 1px solid #999;
  59 }
  60
  61 code {
  62         font-size: 1.2em;
  63 }
  64
  65 ul {
  66         margin: 1em;
  67 }