doc/style.css

   1 #content, #content ul
   2 {
   3  list-style-type: none;
   4  margin-left: 0cm;
   5 }
   6 .upanddown
   7 {
   8  font-size: 8pt;
   9  background-color: #E8E8E8;
  10  padding: 3px;
  11  margin-left: 0.5cm;
  12  margin-right: 0.5cm;
  13  white-space: nowrap;
  14 }
  15 a:link, a:visited, a:active, a:focus
  16 {
  17  font-weight: normal;
  18  text-decoration: none;
  19  color: #0000FF;
  20 }
  21 a:link:hover, a:visited:hover, a:active:hover, a:focus:hover
  22 {
  23  font-weight: normal;
  24  text-decoration: underline;
  25  color: #0000FF;
  26 }
  27 body
  28 {
  29  font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
  30  font-size: 10pt;
  31  color: #000000;
  32  background-color: #FFFFFF;
  33 }
  34 code
  35 {
  36  font-family: 'Courier New', Courier, monospace;
  37  font-size: 10pt;
  38  color: #0000B0;
  39 }
  40 h1
  41 {
  42  font-size: 18pt;
  43  font-weight: bold;
  44 }
  45 h2
  46 {
  47  font-size: 13pt;
  48  font-weight: bold;
  49  padding-left: 0.2cm;
  50  padding-right: 0.2cm;
  51 }
  52 li
  53 {
  54  margin-top: 3px;
  55 }
  56 ol, ul
  57 {
  58  padding-left: 0.5cm;
  59  padding-right: 0.5cm;
  60  margin-left: 1cm;
  61 }
  62 p
  63 {
  64  padding-left: 0.5cm;
  65  padding-right: 0.5cm;
  66 }
  67 pre.code
  68 {
  69  font-family: 'Courier New', Courier, monospace;
  70  font-size: 10pt;
  71  color: #0000B0;
  72  background-color: #FFEEEE;
  73  margin-left: 0.5cm;
  74  margin-right: 0.5cm;
  75  padding: 0.3cm;
  76 }
  77 table
  78 {
  79  font-size: 10pt;
  80  margin-left: 0.5cm;
  81  margin-right: 0.5cm;
  82 }
  83 td
  84 {
  85  vertical-align: top;
  86 }