html_style: style selected text

Especially in chrome (75), it's very hard to see selected text in erp5 xhtml style interface, especially in listboxs. Chrome adds a background color to selected text, but this background is almost same color as ERP5 background.

This uses https://developer.mozilla.org/en-US/docs/Web/CSS/::selection to make it visually clear what is selected.