4.3.1
upgrade highlight.js line number plugin, adds support for line number offsets #3050
move highlight themes from lib/css/ to plugin/highlight/
Merge pull request #3019 from dabrahams/patch-3