dev/scss/main/resultinfo.scss

@charset "utf-8";
@import "../util";

$border-size : 1px;

#resultinfo {
  clear: both;
  text-align: right;
  line-height: 1.5em;
  min-height: 1.5em;
  margin-top:.4em;
  font-size: 10pt;
  p.found {
    display: inline;
    padding: 0;
    margin: 0;
    text-align: right;
  }

  div.result {
    vertical-align: bottom;
    display: inline-block;
    line-height: 1.3em;
    > a {
      display: inline-block;
      cursor: pointer;
      position: relative;
      > span {
	      @include blind;
      }
      box-shadow: $choose-box-shadow;
      @include standard-text-padding;
      // padding-top: 1pt;
      // padding-bottom: 3pt;
      
      @include choose-item;
      border: {
	      top-width: $border-size;
	      bottom-width:  $border-size;
	      top-style: solid;
	      bottom-style: solid;
      }
      &:hover {
	      @include choose-hover;
      }
    }
    > a:last-child {
      border: {
	    top-right-radius: $standard-border-radius;
	    bottom-right-radius: $standard-border-radius;
	    right-width: $border-size;
	    right-style: solid;
    }
    }
    > a:first-child {
      border: {
	    top-left-radius: $standard-border-radius;
	    bottom-left-radius: $standard-border-radius;
	    left-width: $border-size;
	    left-style: solid;
    }
    }
    > a::after {
      font-family: 'FontAwesome';
    }
    > a.align.left::after {
      content: $fa-left-align;
    }
    > a.align.right::after {
      content: $fa-right-align;
    }
    > a.show-kq::after {
      content: $fa-code;
    }
    > a.show-meta::after {
      content: $fa-metadata;
    }
  }
}

#resultinfo.found {
  position: relative;
  // z-index: 20;
  margin-bottom: 0px;
  div.result > a {
    margin-bottom: 0;
    border-bottom-width: 0;
    box-shadow: none;
    &:first-child {
      border-bottom-left-radius: 0;
    }
    &:last-child {
      border-bottom-right-radius: 0;
    }
  }
  div.result.left {
    position: absolute;
    left: 0;
    bottom: 0;
  }
}

#total-results {
  color: $total-results;
  font-weight: bold;
}

#no-results {
  margin: 0 auto;
  text-align: center;
  code {
    font-weight: bold;
  }
}