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

The Tree.EXPLORER_EXTRA constant specifies the additional spacing applied to tree items when using the Explorer theme. Previously, this was defined as a fixed pixel value, which caused the extra spacing to appear too small on high-DPI monitors.