I am using wkhtmltopdf to convert HTML files in PDF format; it gives surprisingly good results, rendering the PDF exactly as WebKit would do.
I am using Google Web F
The following works for me. Notice the inclusion of extended character sets (if you need them):