doc/style.css

   1 body
   2 {
   3         background-color: white;
   4         color: black;
   5         margin: 1em 2em 1em 2em;
   6 }
   7
   8 h1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; text-align: left; font-size: 140%; }
   9 h2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; text-align: left; font-size: 110%; }
  10 h3 { font-family: "courier new", courier, monospace; font-weight: bold; text-align: left; font-size: 100%; }
  11
  12 pre
  13 {
  14         border: gray 1pt solid;
  15         padding: 2pt;
  16
  17         display: block;
  18         font-family: "courier new", courier, monospace;
  19         background-color: #eeeeee;
  20         color: black;
  21         font-size: small
  22 }
  23
  24 tt
  25 {
  26         display: inline;
  27         font-family: "Courier New", Courier, monospace;
  28 }
  29
  30 p
  31 {
  32         text-align: justify;
  33         font-family: Georgia, "Times New Roman", Times, serif
  34 }
  35
  36 ul
  37 {
  38         font-family: Georgia, "Times New Roman", Times, serif
  39 }
  40
  41 ol
  42 {
  43         font-family: Georgia, "Times New Roman", Times, serif
  44 }
  45
  46 a
  47 {
  48         font-weight: bold;
  49         color: #003366;
  50         text-decoration: none;
  51 }
  52
  53 table
  54 {
  55         border: 1px solid black
  56 }
  57
  58 td
  59 {
  60         border: 1px solid black
  61 }
  62
  63 a:hover
  64 {
  65         color: #8080FF;
  66 }