More compact display for the "show all definitions" link. Addresses #335.