mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-02-08 00:21:11 +01:00
4bf759404c
The goal is to be able to catch the errors before making a release. And fix some css issues (especially the missing css code for the newly added menu.css)
26 lines
686 B
Plaintext
26 lines
686 B
Plaintext
{
|
|
"plugins": [
|
|
"stylelint-prettier"
|
|
],
|
|
|
|
"rules": {
|
|
"prettier/prettier": true,
|
|
|
|
"alpha-value-notation": "number",
|
|
"block-no-empty": true,
|
|
"color-function-notation": "modern",
|
|
"color-hex-length": "short",
|
|
"color-no-invalid-hex": true,
|
|
"declaration-block-no-duplicate-properties": true,
|
|
"declaration-block-no-redundant-longhand-properties": true,
|
|
"declaration-property-value-disallowed-list": {
|
|
"float": ["inline-start", "inline-end"]
|
|
},
|
|
"length-zero-no-unit": [true, {
|
|
"ignore": ["custom-properties"]
|
|
}],
|
|
"selector-pseudo-element-colon-notation": "double",
|
|
"shorthand-property-no-redundant-values": true
|
|
}
|
|
}
|