Re: the hover CSS that activates menu dropdowns.

On Android, the dropdown will hide again when you tap elsewhere. On iOS they won't natively, but here's a line of JS that fixes it...