/* GENERATED by scripts/build.py: the PDFs' own highlight tints. */
.piece mark.hl-d5f5d5 { background: #d5f5d5; }
.piece mark.hl-ffd9cc { background: #ffd9cc; }