assets/highlightjs: Set a pointer cursor when hovering line numbers
assets/highlightjs: Set a pointer cursor when hovering line numbers

SoftwareHeritage/swh-web-ui,SoftwareHeritage/swh-web-ui,SoftwareHeritage/swh-web-ui