Line numbers are not supported by highlight.js. This is hacked in through
JavaScript. At page load, the number of new line characters are counted in the
code element. Then, JavaScript loops through and adds a number and line break
to an empty div that is floated left. This gives the appearence of line
numbers.