A few years ago I noticed that a few things would get rasterized when going through the print->pdf process and they would stay vectorized (i.e. higher quality) when using the browser's native PDF export feature.