doc/doc.css

   1 body {
   2   margin-left: 0.5in;
   3   margin-right: 0.5in;
   4   background: white;
   5   color: black;
   6 }
   7
   8 h1 {
   9   margin-left: -0.2in;
  10   font-size: 14pt;
  11 }
  12 h2 {
  13   margin-left: -0in;
  14   font-size: 12pt;
  15 }
  16 h3 {
  17   margin-left: -0in;
  18 }
  19 h4 {
  20   margin-left: -0in;
  21 }
  22 hr {
  23   margin-left: -0in;
  24 }
  25
  26 /* Definition lists: definition term bold */
  27 dt {
  28   font-weight: bold;
  29 }
  30
  31 address {
  32   text-align: center;
  33 }
  34 code,samp,var {
  35   color: blue;
  36 }
  37 kbd {
  38   color: #600000;
  39 }
  40 div.note p {
  41   float: right;
  42   width: 3in;
  43   margin-right: 0%;
  44   padding: 1px;
  45   border: 2px solid #6060a0;
  46   background-color: #fffff0;
  47 }
  48
  49 ul {
  50   margin-top: -0em;
  51   margin-bottom: -0em;
  52 }
  53
  54 ol {
  55   margin-top: -0em;
  56   margin-bottom: -0em;
  57 }
  58
  59 UL.nobullets {
  60   list-style-type: none;
  61   list-style-image: none;
  62   margin-left: -1em;
  63 }
  64
  65 p {
  66   margin: 1em 0 1em 0;
  67   padding: 0 0 0 0;
  68 }
  69
  70 pre {
  71   line-height: 1.3em;
  72   padding: 0.4em 0 0.8em 0;
  73   margin:  0 0 0 0;
  74   border:  0 0 0 0;
  75   color: blue;
  76 }
  77
  78 .datatable {
  79   margin-left: auto;
  80   margin-right: auto;
  81   margin-top: 2em;
  82   margin-bottom: 2em;
  83   border: 1px solid;
  84 }
  85
  86 .datatable td,th {
  87   padding: 0 0.5em 0 0.5em;
  88   text-align: right;
  89 }