web/es.js: add delay for highlight hover

Hover will now wait 250ms before activating all links, this should
provide a smoother behaviour when switching between the different
highlights.