@import 'mediawiki.skin.variables.less'; @import '../echo.variables.less'; .mw-echo-ui-pageFilterWidget { margin-top: 2 * @specialpage-separation-unit; &-title { padding-left: 0.5em; font-weight: bold; } }