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