Fix code highlighting

This makes copy & paste for the code sections work, and also fixes the spacing between line numbers and lines.