Tip: the PDF is made with your browser's print dialog. Choose "Save as PDF", and turn on "Background graphics" if colours are missing.