Select Code to Download

($ENV{HTTP_USER_AGENT} =~ /MSIE/)
&& do {
...
  $style{'pre','font-size'}='10pt';
  $titlebox_size='5';
};