Undo hover-over glossdef. Not really needed. Keep CSS for hiding glossdef if present.