From: Fomafix Date: Wed, 13 Feb 2019 13:07:26 +0000 (+0100) Subject: mediawiki.special.changeslist.enhanced: Convert CSS to LESS X-Git-Tag: 1.34.0-rc.0~2822^2 X-Git-Url: http://git.cyclocoop.org/images/a/a9/%28?a=commitdiff_plain;h=628cb2e32dc5d896bc4751c5404ddf2e1fc0f8ec;p=lhc%2Fweb%2Fwiklou.git mediawiki.special.changeslist.enhanced: Convert CSS to LESS Change-Id: Ic71a6bce99fd6417f90b5abdd52dcfa10e62029d --- 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.css deleted file mode 100644 index 275004f01b..0000000000 --- a/resources/src/mediawiki.special.changeslist.enhanced.css +++ /dev/null @@ -1,58 +0,0 @@ -/*! - * Styling for Special:Watchlist and Special:RecentChanges when preference 'usenewrc' - * a.k.a. Enhanced Recent Changes is enabled. - */ - -table.mw-enhanced-rc { - border: 0; - border-spacing: 0; -} - -table.mw-enhanced-rc th, -table.mw-enhanced-rc td { - padding: 0; - vertical-align: top; -} - -td.mw-enhanced-rc { - white-space: nowrap; - font-family: monospace, monospace; -} - -.mw-enhanced-rc-time { - 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; -} - -/* If JS is disabled, the arrows or the placeholder space shouldn't be shown */ -.client-nojs .mw-enhancedchanges-arrow-space { - display: none; -} - -.mw-enhancedchanges-arrow { - padding-top: 2px; -} - -.mw-enhancedchanges-arrow-space { - display: inline-block; - *display: inline; /* IE7 and below */ - zoom: 1; - width: 15px; - height: 15px; -} - -.mw-enhanced-watched .mw-enhanced-rc-time { - font-weight: bold; -} - -span.changedby { - font-size: 95%; -} diff --git a/resources/src/mediawiki.special.changeslist.enhanced.less b/resources/src/mediawiki.special.changeslist.enhanced.less new file mode 100644 index 0000000000..d7923f4fad --- /dev/null +++ b/resources/src/mediawiki.special.changeslist.enhanced.less @@ -0,0 +1,58 @@ +/*! + * Styling for Special:Watchlist and Special:RecentChanges when preference 'usenewrc' + * a.k.a. Enhanced Recent Changes is enabled. + */ + +table.mw-enhanced-rc { + border: 0; + border-spacing: 0; + + th, + td { + padding: 0; + vertical-align: top; + } + + td.mw-enhanced-rc-nested { + padding-left: 1em; + } +} + +td.mw-enhanced-rc { + white-space: nowrap; + font-family: monospace, monospace; +} + +.mw-enhanced-rc-time { + font-family: monospace, monospace; +} + +/* Show/hide arrows in enhanced changeslist */ +.mw-enhanced-rc .collapsible-expander { + float: none; +} + +/* If JS is disabled, the arrows or the placeholder space shouldn't be shown */ +.client-nojs .mw-enhancedchanges-arrow-space { + display: none; +} + +.mw-enhancedchanges-arrow { + padding-top: 2px; +} + +.mw-enhancedchanges-arrow-space { + display: inline-block; + *display: inline; /* IE7 and below */ + zoom: 1; + width: 15px; + height: 15px; +} + +.mw-enhanced-watched .mw-enhanced-rc-time { + font-weight: bold; +} + +span.changedby { + font-size: 95%; +}