docs/gsg_db_rep/JAVA/gettingStarted.css

   1 body { width: 45em;
   2        margin-left: 3em;
   3            font-family: Arial, Helvetica, sans-serif;
   4            font-size: 11pt;
   5           }
   6
   7 h2.title { margin-left: -1em;
   8                 font-family: Verdana, serif;
   9                         font-size: 16pt;
  10         }
  11
  12 h3.title { font-family: Verdana, serif;
  13                         font-size: 14pt;
  14                 }
  15
  16 pre.programlisting {
  17         font-family: monospace;
  18         background-color: #eae8e9;
  19 }
  20
  21 div.navheader { font-size: 10pt;
  22                                 width: 60em;
  23                                 margin-left: -2em;
  24                           }
  25
  26 div.navheader table tr td { font-size: 10pt; }
  27
  28 div.navfooter { font-size: 10pt;
  29                                 width: 60em;
  30                                 margin-left: -2em;
  31                           }
  32 div.navfooter table tr td { font-size: 10pt; }
  33
  34 span.emphasis { font-style: italic;}
  35
  36 div.appendix div.informaltable { font-size: 9pt; }
  37 div.appendix div.informaltable td  { vertical-align: top; }
  38 div.appendix div.informaltable p  { margin-top: .25em; }
  39 div.appendix div.informaltable p  { margin-bottom: .25em; }
  40
  41 div.variablelist dl dt {margin-top: 1em; }
  42
  43 div.libver p {
  44                 font-size: 8pt;
  45                 width: 30%;
  46                 margin-left: 2px;
  47                 margin-right: 2px;
  48                 padding-top: 3px;
  49                 padding-bottom: 3px;
  50            }