@se-prefix: ~'.se';
@se-label-color: rgba(0, 0, 0, 0.5);
@se-label-optional-color: rgba(0, 0, 0, 0.35);
@se-compact-bottom: @layout-gutter;
@se-optional-margin: 2px;