($ENV{HTTP_USER_AGENT} =~ /MSIE/)
&& do {
  # Internet Explorer
  $style{'body','font-size'}='10pt';
  $style{'th','font-size'}='8pt';
  $style{'td','font-size'}='6pt';
  $style{'pre','font-size'}='10pt';
  $titlebox_size='4';
  1;
} || do {
  # Netscape
  $style{'body','font-size'}='10pt';
  $style{'th','font-size'}='10pt';
  $style{'td','font-size'}='8pt';
  $style{'pre','font-size'}='10pt';
  $titlebox_size='5';
};