And there are other issues, too.
It did take some pretty custom code (and not just CSS) to get the wider spacing to work for pages using the default (non-Custom) Menus – the Home item takes special handling.
All in all, it turned out to be quite complicated to handle the different cases – default vs. custom menus, arrows vs. no arrows. The new option for 1.0.1 – not yet released – will make that all just a “checkbox” option.