CurrentSegmentInfobox: Fixed bug where editing a segment would not update the source correctly and mess up with other widgets
// WebKit-style focus
.tab-focus() {
// Default
outline: thin dotted;
// WebKit
outline: 5px auto -webkit-focus-ring-color;
outline-offset: -2px;
}