5.0.3
fix exception when stepping backwards through code highlights #3524
move highlight themes from lib/css/ to plugin/highlight/