reduce font size in PDF slightly to save even more space