Darker line highlight

After some experimentation with both options, I have decided that I do like
palLAB's darker line highlight color. This one has 16 lightness, 282828 (vs
palLAB 272525).
Add experimental pandoc highlighting CSS