docs/website/style.css

   1 body {
   2     background-color: #F7F7F7;
   3     font-family: Verdana, Arial, Helvetica, sans-serif;
   4 }
   5
   6 #rightbox {
   7     float: right;
   8     margin-top: 50px;
   9     width: 180px;
  10 }
  11
  12 #coloredbox {
  13     background-color: #6299cd;
  14     padding: 5px;
  15     border: 2px solid black;
  16
  17 }
  18
  19 a.menu { text-decoration: underline; color: white; }
  20 a.menu:link { text-decoration: underline; color: white; }
  21 a.menu:visited { text-decoration: underline; color: white; }
  22 a.menu:hover { text-decoration: none; }
  23
  24 .right {
  25     text-align: right;
  26 }
  27
  28 #contents {
  29     margin-right: 190px;
  30
  31 }
  32