mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
6e21a620ef
Add a pagination widget with events and separate the logic for organization. Let the widget listen to events from the pagination model so it always keeps itself updated. Change-Id: Id1df112cbb0d90195217e88fbee97a59170b99c5
20 lines
231 B
Plaintext
20 lines
231 B
Plaintext
.mw-echo-ui-paginationWidget {
|
|
display: table;
|
|
|
|
&-row {
|
|
display: table-row;
|
|
}
|
|
|
|
&-label,
|
|
&-start,
|
|
&-direction {
|
|
display: table-cell;
|
|
vertical-align: middle;
|
|
}
|
|
|
|
&-label {
|
|
padding: 0 0.5em;
|
|
white-space: nowrap;
|
|
}
|
|
}
|