Textarea handling, better menu hiding, better CSS isolation
- handle selection in textareas, though imperfectly without textarea-caret-position
- reset CSS more robustly with
all: unset
- hide the menu according to browser selection clearing vagaries
- 3D shadow