I’m looking for a way to make my <pre> tags look nicer on my WordPress site. I like the way they look here on CSS-Tricks. Does anyone know if this is something Chris came up with himself, or is there some pre-existing library/plugin of some sort that he is using? Can anyone direct me to something similar?