Mobile GUI enhancements (in two steps)

Enhance the webapp to make it accessible to mobile phones.

An initial enhancement could be just the Menu bar. Map interaction with long press should already work.

Then, in a second step, overhaul the whole webapp.

And BTW make the green border of the Search Bar smaller.