Hover highlighting in a manager

Describes how to use hover highlighting in a top-level manager.