Add a sixth highlight color for PDFs

I’d like to see a highlighter palette of six (+orange) or seven (+pink) colors.