New definition-icon text

Refines definitions in hover-over info text buttons, for #165.