Make highlight_style configurable

8 jobs for dark-mode in 6 minutes (queued for 3 seconds)
latest