Updated Markers Widget to allow Markers to be deleted + reworked the widget code to make it slightly more readable + updated iframe for markers to allow markers to be submitted per-user

     1

// Opacity

     2

     3

.opacity(@opacity) {

     4

  opacity: @opacity;

     5

  // IE8 filter

     6

  @opacity-ie: (@opacity * 100);

     7

  filter: ~"alpha(opacity=@{opacity-ie})";

     8

}