Now is possible to change horizontal padding of tabs (via user preferences file). This fixes #14