Hash :9ee4f547 Author : Date :
2018-06-01T13:52:21
Make line-numbers styles more specific
The padding added to `pre.line-numbers` in the line-number's CSS is
overwritten by the theme's CSS if the theme is loaded second. This
ensures the CSS can come in any order without specificity issues.