@img-path: "../../sandal/images/";

@banner-height: 60px;
@banner-height-sm: 40px;
@search-tab-height: 2rem;

@result-checkbox-width: 28px;
@result-checkbox-height: 80px;
@result-sm-icon-size: 1.5rem;

@font-size-base: 16px;

@reduced-font-size: (@font-size-base - 2);
@min-font-size: (@font-size-base - 6);

// Increase base line height to accommodate 16px font (affect at least Chrome on Windows):
@line-height-base: 1.5;

/* ------ Mixins ------ */
.full-width() { // Break out of the container
  margin-right: ~"calc(50% - 50vw + .5rem)"; // .5rem seems to be the margin of error in Chrome
  margin-left: ~"calc(50% - 50vw + .5rem)";
  @media (min-width: 992px) {
    margin-left: ~"calc(50% - 50vw)";
    margin-right: ~"calc(50% - 50vw)";
  }
}
.background-image(@file) {
  background-image: url("@{img-path}@{file}");
}