Lint the stylesheet.

amejia1 · Jan 20, 2018 · 74a17e1 · 74a17e1
1 parent 7aae5f8
commit 74a17e1
Show file tree

Hide file tree

Showing 4 changed files with 1,368 additions and 155 deletions.
diff --git a/.stylelintrc b/.stylelintrc
@@ -0,0 +1,13 @@
+{
+  "extends": "stylelint-config-standard",
+  "rules": {
+    "selector-type-no-unknown": [
+      true, {
+        ignoreTypes: [
+          "atom-xterm",
+          "atom-xterm-profile"
+        ]
+      }
+    ]
+  }
+}