Scale Table.EXPLORER_EXTRA by zoom level instead of using fixed pixels

The Table.VISTA_EXTRA and Table.EXPLORER_EXTRA constants specify additional spacing applied to table items when using the Vista or Explorer themes. Previously, both were defined as fixed pixel values, which worked at 100% zoom but did not
scale properly on high-DPI monitors.