doc/styleprint.css

   1 /* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */
   2
   3   body { border-width: medium;
   4     margin: 0pt;
   5     padding: 0pt;
   6     background-color: rgb(255, 255, 255);
   7     color: rgb(0, 0, 0);
   8     }
   9
  10   p, ul, ol, li { font-style: normal;
  11     font-variant: normal;
  12     font-weight: normal;
  13     line-height: normal;
  14     font-size-adjust: none;
  15     font-stretch: normal;
  16     font-size: 12pt;
  17     }
  18
  19   pre { font-family: Courier New,Courier,monospace;
  20     font-size: 11pt;
  21     }
  22
  23   h1 { font-family: Arial,Helvetica,geneva;
  24     font-style: normal;
  25     font-variant: normal;
  26     font-weight: bold;
  27     font-size: 14pt;
  28     line-height: normal;
  29     font-size-adjust: none;
  30     font-stretch: normal;
  31     }
  32
  33   h2 { font-family: Arial,Helvetica,geneva;
  34     font-style: normal;
  35     font-variant: normal;
  36     font-weight: bold;
  37     font-size: 12pt;
  38     line-height: normal;
  39     font-size-adjust: none;
  40     font-stretch: normal;
  41     }
  42
  43   #header { border-bottom: 3px solid rgb(204, 204, 204);
  44     padding-left: 15em;
  45     }
  46
  47   #leftnavigation { padding: 0.5em;
  48     height: auto;
  49     color: rgb(0, 0, 0);
  50     width: 0em;
  51     display: none;
  52     }
  53
  54   #content h4 { font-weight: bold;
  55     background-color: rgb(204, 204, 204);
  56     font-size: 11pt;
  57     line-height: 1.5;
  58     border-top-style: solid;
  59     border-top-width: 2pt;
  60     font-family: Arial,Helvetica,sans-serif;
  61     }
  62
  63   #content h5 { font-family: Arial,Helvetica,sans-serif;
  64     font-size: 11pt;
  65     }
  66
  67   #leftnavigation p, #leftnavigation ul, #leftnavigation li, #leftnavigation ol { font-family: Arial,Helvetica,sans-serif;
  68     font-size: 12pt;
  69     list-style-type: none;
  70     font-weight: bold;
  71     line-height: 1.5;
  72     }
  73
  74   #content { border-left: 1em solid rgb(255, 255, 255);
  75     margin: 1em;
  76     padding: 1em;
  77     border-right-color: rgb(255, 255, 255);
  78     color: rgb(0, 0, 0);
  79     font-family: Arial,Helvetica,sans-serif;
  80     border-right-width: 1em;
  81     }
  82
  83   #content h1, #content h2 { font-size: 16px;
  84     color: rgb(153, 0, 0);
  85     font-family: Arial,Helvetica,sans-serif;
  86     }
  87
  88   #content h3 { font-family: Arial,Helvetica,sans-serif;
  89     font-size: 12pt;
  90     }
  91
  92   #content p, #content li, #content ul { font-family: Arial,Helvetica,sans-serif;
  93     font-size: 10pt;
  94     }
  95
  96   #footer { border-top: 3px solid rgb(204, 204, 204);
  97     margin: 0em;
  98     padding: 1em 1em 1em 0.5em;
  99     font-size: 1em;
 100     font-family: Arial,Helvetica,sans-serif;
 101     clear: both;
 102     float: none;
 103     }
 104
 105   #logo { position: absolute;
 106     max-width: 14.5em;
 107     }
 108