In #1, we added a code highlighter with support for line numbers, but the CSS is a bit wonky in certain cases:  The top is how we expect it to look, but for some reason, the Python one is indented too far to the right.
