Increase the size of the "Selected Roles/Privileges", "Available Roles/Privileges" list boxes

We're getting to have a lot of available roles and privileges in Nexus (especially the professional version).

The two list boxes in the "Roles" ui are too small, both horizontally and vertically (see screenshot), which is making it really difficult to configure roles.