mediawiki.special.changeslist.enhanced: Convert CSS to LESS

Change-Id: Ic71a6bce99fd6417f90b5abdd52dcfa10e62029d
This commit is contained in:
Fomafix 2019-02-13 14:07:26 +01:00
parent eb4e194185
commit 628cb2e32d
2 changed files with 10 additions and 10 deletions

View file

@ -2130,7 +2130,7 @@ return [
'targets' => [ 'desktop', 'mobile' ],
],
'mediawiki.special.changeslist.enhanced' => [
'styles' => 'resources/src/mediawiki.special.changeslist.enhanced.css',
'styles' => 'resources/src/mediawiki.special.changeslist.enhanced.less',
],
'mediawiki.special.changeslist.legend' => [
'styles' => 'resources/src/mediawiki.special.changeslist.legend.less',

View file

@ -6,12 +6,16 @@
table.mw-enhanced-rc {
border: 0;
border-spacing: 0;
}
table.mw-enhanced-rc th,
table.mw-enhanced-rc td {
padding: 0;
vertical-align: top;
th,
td {
padding: 0;
vertical-align: top;
}
td.mw-enhanced-rc-nested {
padding-left: 1em;
}
}
td.mw-enhanced-rc {
@ -23,10 +27,6 @@ td.mw-enhanced-rc {
font-family: monospace, monospace;
}
table.mw-enhanced-rc td.mw-enhanced-rc-nested {
padding-left: 1em;
}
/* Show/hide arrows in enhanced changeslist */
.mw-enhanced-rc .collapsible-expander {
float: none;