RangeEditor : allow direct modification of the value (number)

Also use flex layout to improve the styling of the RangeEditor; the
value (number) should have display priority over the range slider as the
editor shrinks.