Navigation bar - there are numbers already on the label (but the numbers are not correct yet)  #3246

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25623 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Ticket #3301: default size should be greater for EV2

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25624 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e