postfix-master/postfix.css

   1 BODY {
   2     font-family: Verdana, Arial, Helvetica, Geneva, sans-serif;
   3     font-size: medium;
   4     line-height: normal;
   5     margin-left: 10px;
   6     margin-right: 10px;
   7     }
   8 #left {
   9     border: 0px;
  10     float: left;
  11     margin-left: 10px;
  12     width: 140px;
  13     }
  14 #main {
  15     border: 0px;
  16     font-weight: normal;
  17     margin-left: 180px;
  18     }
  19 A:link {
  20     }
  21 A:visited {
  22     }
  23 H1, H2, H3, H4, H5, H6 {
  24     }
  25 pre {
  26     font-family: Courier, monospace;
  27     }
  28 ul {
  29     }
  30 .body {
  31     font-family: Verdana, Arial, Helvetica, Geneva, sans-serif;
  32     }
  33 .bold {
  34     font-weight: bold;
  35     }
  36 .box {
  37     border: thin dotted;
  38     padding-bottom: 1em;
  39     padding-left: 2em;
  40     padding-right: 2em;
  41     padding-top: 1em;
  42     }
  43 .caption {
  44     font-weight: bold;
  45     }
  46 .code {
  47     font-family: "Courier New", Courier, monospace;
  48     white-space: pre;
  49     }
  50 .def {
  51     text-indent: -6.3em;
  52     padding-bottom: 1em;
  53     padding-left: 6.5em;
  54     padding-right: 10em;
  55     padding-top: 1em;
  56     }
  57 .em {
  58     font-style: italic;
  59     }
  60 .example {
  61     background-color: yellow;
  62     margin-left: 5%;
  63     margin-right: 25%;
  64     }
  65 .indent {
  66     padding-left: 5%;
  67     padding-right: 5%;
  68     }
  69 .head {
  70     font-weight: bold;
  71     }
  72 .highlight {
  73     }
  74 .nav {
  75     font-size: small;
  76     line-height: 45%;
  77     text-decoration: none;
  78     white-space: nowrap;
  79     }
  80 .navhead {
  81     font-size: medium;
  82     line-height: 90%;
  83     padding-left: 0px;
  84     text-decoration: none;
  85     }
  86 .pagehead {
  87     text-decoration: none;
  88     }
  89 A:visited.pagehead {
  90     text-decoration: none;
  91     }
  92 .ref {
  93     font-weight: bold;
  94     }
  95 .strong {
  96     font-weight: bold;
  97     }
  98 .subhead {
  99     font-style: italic;
 100     }
 101 .sub {
 102     font-size: xx-small;
 103     vertical-align: sub;
 104     }
 105 .super {
 106     font-size: xx-small;
 107     vertical-align: super;
 108     }
 109 .tablebody {
 110     font-family: Verdana, Arial, Helvetica, Geneva, sans-serif;
 111     font-size: small;
 112     white-space: nowrap;
 113     }