4.2.0
upgrade highlight.js line number plugin, adds support for line number offsets #3050
move highlight themes from lib/css/ to plugin/highlight/