[gsliepen]

However, setting the highlight color to pure white in the CSS isn't very nice for people who load the page with JavaScript disabled.