<style>
<!--
body { color: #000000; font-family: TimesNewRoman, Times; font-size: 12px; text-decoration: none; }
.ft  { color: #000000; font-family: TimesNewRoman, Times; font-size: 10px; text-decoration: none; }
.hl1 { color: #000000; font-family: TimesNewRoman, Times; font-size: 16px; line-height: 24px; text-decoration: none; font-weight:bold; }
.hl2 { color: #666666; font-family: TimesNewRoman, Times; font-size: 14px; line-height: 24px; text-decoration: none; font-weight:bold; }
.hl3 { color: #999999; font-family: TimesNewRoman, Times; font-size: 12px; line-height: 24px; text-decoration: none; font-weight:bold; }
.foot { font-family:TimesNewRoman, Times;  font-size:8px; line-height:11px; }
-->
<!-- const char *id = "$Id: printer.css,v 1.0 2002-08-08 10:38:22+02 administrator Exp administrator $"-->
</style>
