Commit 4a93974f52683114dd6c4db3bad0b7adace7c771 Parent 31c0f006516d494dd91b10bc0486e4f9be2ca623 Author Hiltjo Posthuma <hiltjo@codemadness.org> Date Sun, 29 Dec 2019 19:02:04 +0100 style.css: highlight anchor ids, useful for linking highlighting lines in a diff