Add info box to service tree
Change service tree buttons to anchor elements

Before this they were simply divs.
This change improves accessibility.
Disable mouse wheel events in Leaflet controls
Fix less indentation
Make navi controls scrollable