Fix minor UI rendering issues, fix definitions visibility.