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

// Sizing shortcuts

.size(@width; @height) {
  width: @width;
  height: @height;
}

.square(@size) {
  .size(@size; @size);
}