Add html5 plugin
Change the LineNr highlight