Major ticks should be larger than minor ticks

[jorjborjs]

At present, when both major and minor ticks are shown, both are the same size.