pager.less 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. //
  2. // Pager
  3. // --------------------------------------------------
  4. // Default pager
  5. //
  6. //==
  7. .pager {
  8. margin: 0px;
  9. padding-bottom: 2px;
  10. &>li {
  11. &.page {
  12. display: inline-block;
  13. padding: 7px 0px;
  14. padding-right: @line-height-computed / 3;
  15. }
  16. a {
  17. &, &:link, &:visited {
  18. background-color: @btn-default-bg;
  19. border-color: @btn-default-bg;
  20. border-radius: @border-radius-base;
  21. box-shadow: 0px 2px 0px 0px @btn-default-border;
  22. padding: 6px 9px;
  23. color: @btn-default-color;
  24. }
  25. &:hover {
  26. background-color: darken(@btn-default-bg, 10%);
  27. border-color: darken(@btn-default-bg, 10%);
  28. box-shadow: 0px 2px 0px 0px darken(@btn-default-border, 10%);
  29. color: @btn-default-color;
  30. }
  31. &:active, &:focus {
  32. background-color: darken(@btn-default-bg, 15%);
  33. border-color: darken(@btn-default-bg, 15%);
  34. box-shadow: none;
  35. position: relative;
  36. top: 2px;
  37. color: darken(@btn-default-color, 10%);
  38. }
  39. }
  40. }
  41. }
  42. // Wide pager
  43. //
  44. //==
  45. .pager {
  46. &.pager-wide {
  47. overflow: auto;
  48. }
  49. }
  50. /* Big displays */
  51. @media (min-width: @screen-sm-min) {
  52. .pager {
  53. &.pager-wide {
  54. .pull-left {
  55. margin-right: @line-height-computed / 3;
  56. }
  57. .pull-right {
  58. margin-left: @line-height-computed / 3;
  59. }
  60. }
  61. }
  62. }