Incorportate changes to remie: edition screen headers and button for tag addition for CurrentSegmentInfobox + corresponding style, and fix try for Jquery-ui/lab.js bug
// Progress bars
.progress-bar-variant(@color) {
background-color: @color;
// Deprecated parent class requirement as of v3.2.0
.progress-striped & {
#gradient > .striped();
}
}