From 628cb2e32dc5d896bc4751c5404ddf2e1fc0f8ec Mon Sep 17 00:00:00 2001 From: Fomafix Date: Wed, 13 Feb 2019 14:07:26 +0100 Subject: [PATCH] mediawiki.special.changeslist.enhanced: Convert CSS to LESS Change-Id: Ic71a6bce99fd6417f90b5abdd52dcfa10e62029d --- resources/Resources.php | 2 +- ...ediawiki.special.changeslist.enhanced.less} | 18 +++++++++--------- 2 files changed, 10 insertions(+), 10 deletions(-) rename resources/src/{mediawiki.special.changeslist.enhanced.css => mediawiki.special.changeslist.enhanced.less} (84%) diff --git a/resources/Resources.php b/resources/Resources.php index d461867f2c..380865c6e4 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -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', diff --git a/resources/src/mediawiki.special.changeslist.enhanced.css b/resources/src/mediawiki.special.changeslist.enhanced.less similarity index 84% rename from resources/src/mediawiki.special.changeslist.enhanced.css rename to resources/src/mediawiki.special.changeslist.enhanced.less index 275004f01b..d7923f4fad 100644 --- a/resources/src/mediawiki.special.changeslist.enhanced.css +++ b/resources/src/mediawiki.special.changeslist.enhanced.less @@ -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; -- 2.20.1