CurrentSegmentInfobox: Fixed bug where editing a segment would not update the source correctly and mess up with other widgets
// Labels
.label-variant(@color) {
background-color: @color;
&[href] {
&:hover,
&:focus {
background-color: darken(@color, 10%);
}
}
}