doc/newstyle.css

   1 body {
   2         background-color: #F5F5F5;
   3 }
   4 a, a:active {
   5         text-decoration: none;
   6         color: blue;
   7 }
   8 a:visited {
   9         color: #48468F;
  10 }
  11 a:hover, a:focus {
  12         text-decoration: underline;
  13         color: red;
  14 }
  15 h2 {
  16         margin-bottom: 12px;
  17 }
  18 table {
  19         margin-left: 12px;
  20 }
  21 th, td {
  22         font-family: "Courier New", Courier, monospace;
  23         font-size: 10pt;
  24         text-align: left;
  25 }
  26 th {
  27         font-weight: bold;
  28         padding-right: 14px;
  29         padding-bottom: 3px;
  30 }
  31 td {
  32         padding-right: 14px;
  33 }
  34 td.s, th.s {
  35         text-align: right;
  36 }
  37 div.list {
  38         background-color: white;
  39         border-top: 1px solid #646464;
  40         border-bottom: 1px solid #646464;
  41         padding-top: 10px;
  42         padding-bottom: 14px;
  43 }
  44 div.foot {
  45         font-family: "Courier New", Courier, monospace;
  46         font-size: 10pt;
  47         color: #787878;
  48         padding-top: 4px;
  49 }