Minor formatting: update indentation of respec data

w3c · Oct 2, 2023 · 3943f69 · 3943f69
1 parent 5df4787
commit 3943f69
Showing 1 changed file with 45 additions and 37 deletions.
diff --git a/index.html b/index.html
@@ -5,43 +5,51 @@
     <meta http-equiv='Content-Type' content='text/html;charset=utf-8'/>
     <script src='https://www.w3.org/Tools/respec/respec-w3c' class='remove' defer></script>
     <script class='remove'>
-      var respecConfig = {
-          specStatus: "ED",
-          shortName: "pointerevents3",
-          subtitle: "Level 3",
-          edDraftURI: "https://w3c.github.io/pointerevents/",
-          prevRecShortname: 'pointerevents',
-          github: "https://github.com/w3c/pointerevents/",
-          testSuiteURI: "https://wpt.fyi/pointerevents/",
-          caniuse: "pointer",
-          formerEditors: [
-              { name: "Matt Brubeck",
-                company: "Mozilla", companyURL: "https://www.mozilla.org/",
-                w3cid: '45617' },
-              { name: "Rick Byers",
-                company: "Google", companyURL: "https://www.google.com/" ,
-                w3cid: '55724' },
-              { name: "Navid Zolghadr",
-                company: "Google", companyURL: "https://www.google.com/" ,
-                w3cid: '92361' }
-          ],
-          editors: [
-              { name: "Patrick H. Lauke",
-                company: "TetraLogical", companyURL: "https://tetralogical.com/",
-                w3cid: '35129' }
-          ],
-          group: "pointer-events",
-          wgPublicList: "public-pointer-events",
-          lint: {
-            "check-punctuation": true
-          },
-          noIDLSorting: true,
-          doJsonLd: true,
-          xref: {
-            specs: ["uievents"],
-            profile: "web-platform"
-          },
-          mdn: "pointerevents"
+        var respecConfig = {
+            specStatus: "ED",
+            shortName: "pointerevents3",
+            subtitle: "Level 3",
+            edDraftURI: "https://w3c.github.io/pointerevents/",
+            prevRecShortname: 'pointerevents',
+            github: "https://github.com/w3c/pointerevents/",
+            testSuiteURI: "https://wpt.fyi/pointerevents/",
+            caniuse: "pointer",
+            formerEditors: [
+                {
+                    name: "Matt Brubeck",
+                    company: "Mozilla", companyURL: "https://www.mozilla.org/",
+                    w3cid: '45617'
+                },
+                {
+                    name: "Rick Byers",
+                    company: "Google", companyURL: "https://www.google.com/" ,
+                    w3cid: '55724'
+                },
+                {
+                    name: "Navid Zolghadr",
+                    company: "Google", companyURL: "https://www.google.com/" ,
+                    w3cid: '92361'
+                }
+            ],
+            editors: [
+                {
+                    name: "Patrick H. Lauke",
+                    company: "TetraLogical", companyURL: "https://tetralogical.com/",
+                    w3cid: '35129'
+                }
+            ],
+            group: "pointer-events",
+            wgPublicList: "public-pointer-events",
+            lint: {
+                "check-punctuation": true
+            },
+            noIDLSorting: true,
+            doJsonLd: true,
+            xref: {
+                specs: ["uievents"],
+                profile: "web-platform"
+            },
+            mdn: "pointerevents"
         };
     </script>
     <style>