// HighlightForm.js -- Highlight form element in focus. // Usage: