UX: Minimap navigator size reduced

Real estate is precious no matter where it is! That includes process models. So, we've reduced the size of the navigator so that it doesn't occupy as much screen real estate. PRO TIP: Did you know that you can collapse the navigator? Just click on the navigator icon in the diagram footer to collapse. Click it again to open.