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