For anybody reading it in future, you could find a PDF printer (some windows have one by default, android phones have, otherwise many open source or free PDF printers available (It is a software which takes print output from any application & gives out a PDF file instead of printing output on a paper), I use free non commercial usage for PDF Xchange), and set the quality to 100 dpi before printing (to PDF).