Making line numbers more subtle

The line numbers in dark gray were too distracting, I thought, so I've made them light gray here.