UI Unterschiede / kann man besser machen usw

[t00thl355]

@Kira

In fact there are limitations in this dev environment that we can’t change. We can’t change the size of the element or hide it.

But you can choose smaller elements, as (also) already discussed :

@t00thl355

Maybe you cannot change the size, but you can obviously choose smaller elements, you just decided to use the big ones:

@boldtrn

Therefore, we add big buttons

There is simply no need for such big buttons/elements - users are supposed to use smaller buttons like zoom and menu much more frequently and on the smartphone you also initially use smaller button on the map to start the navigation.
So, why would it be important in this specific case to have them bigger?