fork from https://github.com/mozilla/pdf.js.git

2026-06-08 13:26:57 +02:00
parent be60be5b03
commit 141762041b
2444 changed files with 1179392 additions and 15 deletions
--- a/stylelint-mozcentral.json
+++ b/stylelint-mozcentral.json
@@ -0,0 +1,12 @@
+{
+  "plugins": ["./external/stylelint/no-unused-custom-properties.mjs"],
+  "rules": {
+    "no-unknown-custom-properties": true,
+    "pdfjs/no-unused-custom-properties": [
+      true,
+      {
+        "ignoreList": ["scale-round-x", "scale-round-y", "input-width"]
+      }
+    ]
+  }
+}