The recommended way of generating PDF file is to use the PDF printer build into your browser or operating system. When using Google Chrome simply click 'Print Cards' button on 'Print Issues' screen and select 'Save as PDF' as a target printer like on the screenshots below:
In case you don't use Google Chrome and you don't have a PDF printer build into your operating system try the PDF generator