Detection of the tablet/mobile android/ios

We should have a standardised approach for styling things for different mobile platform - probably with a class set on body? by a reusable javascript code.

It is now used on maptiler.com as well as oldmapsonline.org
