2012-06-29 06:46:45 +02:00
|
|
|
//
|
|
|
|
// Pager pagination
|
|
|
|
// --------------------------------------------------
|
|
|
|
|
2012-01-15 05:54:37 +01:00
|
|
|
|
|
|
|
.pager {
|
2013-06-29 22:06:14 +02:00
|
|
|
padding-left: 0;
|
2013-05-10 17:21:27 +02:00
|
|
|
margin: @line-height-computed 0;
|
2012-01-15 05:54:37 +01:00
|
|
|
list-style: none;
|
|
|
|
text-align: center;
|
Switch to `&:extend(.clearfix all)` for clearfix mixin
Original discussion:
https://github.com/less/less.js/issues/1437#issuecomment-21383639.
Since we’re switching to `grunt-contrib-less`, we can take advantage of
newer LESS features than what RECESS supported. Included in that is the
ability to `:extend`, and not only that, but `:extend(.mixin-name
all)`. By doing so, we remove duplicate CSS for all our elements that
were being clearfix-ed.
Fixes #8947, #8968, #8991, #9257, #9268, #9291, #9430, #9604, #9686,
#9929, #10731, #10793, #11305, #11498, #11533, #11570, #11604, #11652.
(dem issues, tho)
2013-12-09 08:18:28 +01:00
|
|
|
&:extend(.clearfix all);
|
2013-04-17 17:32:48 +02:00
|
|
|
li {
|
|
|
|
display: inline;
|
|
|
|
> a,
|
|
|
|
> span {
|
|
|
|
display: inline-block;
|
|
|
|
padding: 5px 14px;
|
2013-12-11 14:25:21 +01:00
|
|
|
background-color: @pager-bg;
|
|
|
|
border: 1px solid @pager-border;
|
2013-07-26 14:04:15 +02:00
|
|
|
border-radius: @pager-border-radius;
|
2013-04-17 17:32:48 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
> a:hover,
|
|
|
|
> a:focus {
|
|
|
|
text-decoration: none;
|
2013-12-11 14:25:21 +01:00
|
|
|
background-color: @pager-hover-bg;
|
2013-04-17 17:32:48 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.next {
|
|
|
|
> a,
|
|
|
|
> span {
|
|
|
|
float: right;
|
|
|
|
}
|
|
|
|
}
|
2013-04-22 04:35:36 +02:00
|
|
|
|
2013-04-17 17:32:48 +02:00
|
|
|
.previous {
|
|
|
|
> a,
|
|
|
|
> span {
|
|
|
|
float: left;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.disabled {
|
|
|
|
> a,
|
|
|
|
> a:hover,
|
|
|
|
> a:focus,
|
|
|
|
> span {
|
2013-07-26 14:04:15 +02:00
|
|
|
color: @pager-disabled-color;
|
2013-12-11 14:25:21 +01:00
|
|
|
background-color: @pager-bg;
|
2014-10-28 04:37:52 +01:00
|
|
|
cursor: @cursor-disabled;
|
2013-04-17 17:32:48 +02:00
|
|
|
}
|
|
|
|
}
|
2012-01-15 05:54:37 +01:00
|
|
|
}
|