#
&fix_print_html($ARGV[0], 'body.html', 'title.html');
-my($cmd) = "htmldoc --size universal -t pdf -f ${fname_wo_ext}.pdf " .
- "--linkcolor #0000ff ".
- "--firstpage p1 --titlefile title.html body.html --footer c.1";
+my($cmd) = "htmldoc --size universal --bodyfont helvetica --fontsize 8 " .
+ "-t pdf -f ${fname_wo_ext}.pdf --firstpage p1 --titlefile title.html" .
+ " body.html --footer c.1";
# For postscript output; append onto the above cmd string:
#