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