info@54: //
info@54: // Pagination (multiple pages)
info@54: // --------------------------------------------------
info@54: .pagination {
info@54:   display: inline-block;
info@54:   padding-left: 0;
info@54:   margin: @line-height-computed 0;
info@54:   border-radius: @border-radius-base;
info@54: 
info@54:   > li {
info@54:     display: inline; // Remove list-style and block-level defaults
info@54:     > a,
info@54:     > span {
info@54:       position: relative;
info@54:       float: left; // Collapse white-space
info@54:       padding: @padding-base-vertical @padding-base-horizontal;
info@54:       line-height: @line-height-base;
info@54:       text-decoration: none;
info@54:       background-color: @pagination-bg;
info@54:       border: 1px solid @pagination-border;
info@54:       margin-left: -1px;
info@54:     }
info@54:     &:first-child {
info@54:       > a,
info@54:       > span {
info@54:         margin-left: 0;
info@54:         .border-left-radius(@border-radius-base);
info@54:       }
info@54:     }
info@54:     &:last-child {
info@54:       > a,
info@54:       > span {
info@54:         .border-right-radius(@border-radius-base);
info@54:       }
info@54:     }
info@54:   }
info@54: 
info@54:   > li > a,
info@54:   > li > span {
info@54:     &:hover,
info@54:     &:focus {
info@54:       background-color: @pagination-hover-bg;
info@54:     }
info@54:   }
info@54: 
info@54:   > .active > a,
info@54:   > .active > span {
info@54:     &,
info@54:     &:hover,
info@54:     &:focus {
info@54:       z-index: 2;
info@54:       color: @pagination-active-color;
info@54:       background-color: @pagination-active-bg;
info@54:       border-color: @pagination-active-bg;
info@54:       cursor: default;
info@54:     }
info@54:   }
info@54: 
info@54:   > .disabled {
info@54:     > span,
info@54:     > span:hover,
info@54:     > span:focus,
info@54:     > a,
info@54:     > a:hover,
info@54:     > a:focus {
info@54:       color: @pagination-disabled-color;
info@54:       background-color: @pagination-bg;
info@54:       border-color: @pagination-border;
info@54:       cursor: not-allowed;
info@54:     }
info@54:   }
info@54: }
info@54: 
info@54: // Sizing
info@54: // --------------------------------------------------
info@54: 
info@54: // Large
info@54: .pagination-lg {
info@54:   .pagination-size(@padding-large-vertical; @padding-large-horizontal; @font-size-large; @border-radius-large);
info@54: }
info@54: 
info@54: // Small
info@54: .pagination-sm {
info@54:   .pagination-size(@padding-small-vertical; @padding-small-horizontal; @font-size-small; @border-radius-small);
info@54: }