map.html

@@ -140,10 +140,8 @@

   // change mouse cursor when over marker
   map.on('pointermove', function(e) {
      var pixel = map.getEventPixel(e.originalEvent);
      var hit = map.hasFeatureAtPixel(pixel);
      var target = map.getTarget();
      if(target.style)
      var hit = map.hasFeatureAtPixel(e.pixel);
      var target = map.getTargetElement();
         target.style.cursor = hit ? 'pointer' : '';
   });
}