info@54: //
info@54: // Pager pagination
info@54: // --------------------------------------------------
info@54: 
info@54: 
info@54: .pager {
info@54:   padding-left: 0;
info@54:   margin: @line-height-computed 0;
info@54:   list-style: none;
info@54:   text-align: center;
info@54:   .clearfix();
info@54:   li {
info@54:     display: inline;
info@54:     > a,
info@54:     > span {
info@54:       display: inline-block;
info@54:       padding: 5px 14px;
info@54:       background-color: @pagination-bg;
info@54:       border: 1px solid @pagination-border;
info@54:       border-radius: @pager-border-radius;
info@54:     }
info@54: 
info@54:     > a:hover,
info@54:     > a:focus {
info@54:       text-decoration: none;
info@54:       background-color: @pagination-hover-bg;
info@54:     }
info@54:   }
info@54: 
info@54:   .next {
info@54:     > a,
info@54:     > span {
info@54:       float: right;
info@54:     }
info@54:   }
info@54: 
info@54:   .previous {
info@54:     > a,
info@54:     > span {
info@54:       float: left;
info@54:     }
info@54:   }
info@54: 
info@54:   .disabled {
info@54:     > a,
info@54:     > a:hover,
info@54:     > a:focus,
info@54:     > span {
info@54:       color: @pager-disabled-color;
info@54:       background-color: @pagination-bg;
info@54:       cursor: not-allowed;
info@54:     }
info@54:   }
info@54: 
info@54: }