Small corrections on Markers widget + corrections on headers for LastAnnotation and AnnotationsList
// Resize anything
.resizable(@direction) {
resize: @direction; // Options: horizontal, vertical, both
overflow: auto; // Per CSS3 UI, `resize` only applies when `overflow` isn't `visible`
}