CurrentSegmentInfobox: Fixed bug where editing a segment would not update the source correctly and mess up with other widgets
// Opacity
.opacity(@opacity) {
opacity: @opacity;
// IE8 filter
@opacity-ie: (@opacity * 100);
filter: ~"alpha(opacity=@{opacity-ie})";
}