//
// Pager sizing
// --------------------------------------------------


// Large
.pager-lg
{
  .pager-size(@padding-large-vertical; @padding-large-horizontal; @font-size-large; @border-radius-large);
}

// Small
.pager-sm
{
  .pager-size(@padding-small-vertical; @padding-small-horizontal; @font-size-small; @border-radius-small);
}

