diff --git a/.stylelintrc.json b/.stylelintrc.json index 48b70a82..2c907302 100644 --- a/.stylelintrc.json +++ b/.stylelintrc.json @@ -1,6 +1,3 @@ { - "extends": "stylelint-config-wikimedia", - "rules": { - "selector-pseudo-element-colon-notation": null - } + "extends": "stylelint-config-wikimedia" } diff --git a/modules/pygments.wrapper.less b/modules/pygments.wrapper.less index ee0e29d5..b59fcd13 100644 --- a/modules/pygments.wrapper.less +++ b/modules/pygments.wrapper.less @@ -102,7 +102,7 @@ margin-left: 4px; } - &:before { + &::before { content: attr( data-line ); } }