January 7, 2024 I ended up going with highlight.js because it had more theme choices. social.lol/@bw/111715591656059740