In this commit, we finally get line numbers in code blocks. Huzzah! I've
also tweaked the background color of big code blocks to be a liiiiitle
less jarringly black, and update two chunks of code to use the new
blocks. Neat!