mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 10:56:44 +00:00
988eea9da4
grunt-stylelint 0.6.0 → 0.7.0 stylelint-config-wikimedia 0.3.0 → 0.4.1 Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
37 lines
532 B
Plaintext
37 lines
532 B
Plaintext
@import '../echo.variables';
|
|
|
|
.mw-echo-ui-subGroupListWidget {
|
|
|
|
&:not( :first-child ) {
|
|
padding-top: @bundle-group-padding;
|
|
}
|
|
|
|
&-header {
|
|
display: table;
|
|
width: 100%;
|
|
|
|
&-row {
|
|
display: table-row;
|
|
|
|
&-title {
|
|
display: table-cell;
|
|
width: 100%;
|
|
vertical-align: bottom;
|
|
|
|
.oo-ui-labelElement-label {
|
|
white-space: normal;
|
|
}
|
|
}
|
|
|
|
&-markAllReadButton {
|
|
display: table-cell;
|
|
text-align: right;
|
|
}
|
|
}
|
|
}
|
|
|
|
.mw-echo-ui-sortedListWidget {
|
|
margin-bottom: @bundle-group-padding / 2;
|
|
}
|
|
}
|