docs/java-bytecode.css

   1 @media print {
   2     table {
   3         font-size: 8pt;
   4     }
   5 }
   6
   7 @media screen {
   8     table {
   9         font-size: 10pt;
  10     }
  11 }
  12
  13 h1 {
  14     text-align: center;
  15 }
  16
  17 table {
  18     vertical-align: top;
  19     border-collapse: collapse;
  20     font-family: sans-serif;
  21 }
  22
  23 td {
  24     vertical-align: top;
  25     background: #f8f8f8;
  26     border-width: 0;
  27 }
  28
  29 td.outer {
  30     width: 25%;
  31     padding: 0;
  32 }
  33
  34 td.outer table {
  35     width: 100%;
  36 }
  37
  38 td.outer td {
  39     border-width: 0;
  40     background: #f8f8f8;
  41     padding: 1pt;
  42     padding-left: 10pt;
  43     padding-right: 2pt;
  44 }
  45
  46 tr.d td {
  47     background: #dddddd;
  48 }
  49
  50 td.outer td + td + td {
  51     font-family: monospace;
  52     font-weight: bold;
  53     padding-right: 5pt;
  54 }