From 1fe39254d1e523043bdd4470b37f206f0819d511 Mon Sep 17 00:00:00 2001
From: Hongchan Choi <hongchan.choi@gmail.com>
Date: Mon, 29 Apr 2024 20:55:37 +0000
Subject: [PATCH 1/3] stashing

---
 index.bs | 38 +++++++++++++++++++++-----------------
 1 file changed, 21 insertions(+), 17 deletions(-)

diff --git a/index.bs b/index.bs
index 3a55bb255..7e43c848f 100644
--- a/index.bs
+++ b/index.bs
@@ -59,40 +59,44 @@ spec:webidl; type:interface; text:Promise
 <link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/element/mml/optable/BasicLatin.js?rev=2.7.5" as="script">
 <link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/output/HTML-CSS/autoload/mtable.js?rev=2.7.5" as="script">
 <script>
-window.addEventListener("DOMContentLoaded", function () {
-    "use strict";
-    new Promise(function (resolve, reject) {
-        var mathjax = document.createElement('script');
-        var url = "https://www.w3.org/scripts/MathJax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML";
-        // Safari doesn't (yet) support load event on scripts so we have to poll. So 😢.
+'use strict';
+// Handles the loading task for MathJax library.
+window.addEventListener('DOMContentLoaded', () => {
+    new Promise((resolve, reject) => {
+        let mathjaxScriptEl = document.createElement('script');
+        const url = 'https://www.w3.org/scripts/MathJax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML';
+        mathjaxScriptEl.id = 'mathjax';
+        mathjaxScriptEl.src = url;
+        // Safari doesn't (yet) support load event on the script element so we 
+        // have to poll.
         var id = setInterval(function () {
             if (window.MathJax) {
                 clearInterval(id);
                 resolve();
             }
         }, 100);
-        mathjax.onload = function () {
+        mathjaxScriptEl.onload = () => {
             clearInterval(id);
             resolve();
         };
-        mathjax.onerror = function (err) {
-            var error = (err instanceof Event) ? new Error(err.message) : err;
+        mathjaxScriptEl.onerror = (error) => {
+            const error = (error instanceof Event) ? new Error(error.message)
+                                                   : error;
             reject(error);
         };
-        // Time out waiting after 20 seconds and reject.
-        setTimeout(function(){
-            mathjax.onerror(new Error("Loading timed out."));
+        // Time out after 20 seconds and reject.
+        setTimeout(() => {
+            mathjaxScriptEl.onerror(
+                new Error('MathJax loader script: loading timed out.'));
         }, 20000);
-        mathjax.id = "mathjax";
-        mathjax.src = url;
-        document.body.appendChild(mathjax);
-    }).then(function () {
+        document.body.appendChild(mathjaxScriptEl);
+    }).then(() => {
         MathJax.Hub.Config({
             tex2jax: {
                 skipTags: ["script", "noscript", "style", "textarea", "code"]
             }
         });
-    }).catch(function (error) {
+    }).catch((error) => {
         console.error(error);
     });
 });

From 51e26223d1467cd2be2238bafa8badf4d64426d8 Mon Sep 17 00:00:00 2001
From: Hongchan Choi <hongchan.choi@gmail.com>
Date: Mon, 29 Apr 2024 23:35:52 +0000
Subject: [PATCH 2/3] script clean up and style tweak

---
 index.bs | 46 +++++++++++++++++++++++++++++++---------------
 1 file changed, 31 insertions(+), 15 deletions(-)

diff --git a/index.bs b/index.bs
index 7e43c848f..cfa8ea26a 100644
--- a/index.bs
+++ b/index.bs
@@ -52,24 +52,16 @@ url: https://www.w3.org/TR/mediacapture-streams/#dom-mediadevices-getusermedia;
 spec:webidl; type:interface; text:object
 spec:webidl; type:interface; text:Promise
 </pre>
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" as="script">
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/output/HTML-CSS/jax.js?rev=2.7.5" as="script">
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/output/HTML-CSS/fonts/STIX/fontdata.js?rev=2.7.5" as="script">
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/config/TeX-AMS-MML_HTMLorMML.js?rev=2.7.5" as="script">
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/element/mml/optable/BasicLatin.js?rev=2.7.5" as="script">
-<link rel="preload" href="https://www.w3.org/scripts/MathJax/2.7.5/jax/output/HTML-CSS/autoload/mtable.js?rev=2.7.5" as="script">
 <script>
-'use strict';
 // Handles the loading task for MathJax library.
 window.addEventListener('DOMContentLoaded', () => {
+    'use strict';
     new Promise((resolve, reject) => {
         let mathjaxScriptEl = document.createElement('script');
         const url = 'https://www.w3.org/scripts/MathJax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML';
-        mathjaxScriptEl.id = 'mathjax';
-        mathjaxScriptEl.src = url;
-        // Safari doesn't (yet) support load event on the script element so we 
-        // have to poll.
-        var id = setInterval(function () {
+        // TODO: Remove this when Safari supports the onload event; it doesn't
+        // support onload event on the script element so we have to poll.
+        let id = setInterval(() => {
             if (window.MathJax) {
                 clearInterval(id);
                 resolve();
@@ -78,18 +70,22 @@ window.addEventListener('DOMContentLoaded', () => {
         mathjaxScriptEl.onload = () => {
             clearInterval(id);
             resolve();
+            console.log('MathJax loader script: loaded successfully.');
         };
         mathjaxScriptEl.onerror = (error) => {
-            const error = (error instanceof Event) ? new Error(error.message)
-                                                   : error;
-            reject(error);
+            const errorEvent = (error instanceof Event)
+                ? new Error(error.message) : error;
+            reject(errorEvent);
         };
         // Time out after 20 seconds and reject.
         setTimeout(() => {
             mathjaxScriptEl.onerror(
                 new Error('MathJax loader script: loading timed out.'));
         }, 20000);
+        mathjaxScriptEl.id = 'mathjax';
+        mathjaxScriptEl.src = url;
         document.body.appendChild(mathjaxScriptEl);
+        console.log('MathJax loader script: started loading... (' + url + ')');
     }).then(() => {
         MathJax.Hub.Config({
             tex2jax: {
@@ -315,6 +311,26 @@ div.enum-description > table > thead > tr > th {
 code.nobreak {
   white-space: nowrap;
 }
+.amendment.proposed, 
+.correction.proposed,
+.addition.proposed {
+    border-width: 0.2em;
+    border-radius: 0.4em;
+}
+.amendment.proposed ins,
+.correction.proposed ins,
+.addition.proposed ins,
+ins[cite].proposed {
+    text-decoration: none;
+}
+.amendment.proposed del,
+.correction.proposed del,
+.addition.proposed del,
+del[cite].proposed {
+    color: #cc0000;
+    text-decoration-style: solid !important;
+    text-decoration-color: #330099;
+}
 </style>
 
 <h2 id="introductory" class=no-num>

From 8ef4ea7925be6593c0599b6dcf67cacf3467f40b Mon Sep 17 00:00:00 2001
From: Hongchan Choi <hongchan.choi@gmail.com>
Date: Mon, 29 Apr 2024 23:51:18 +0000
Subject: [PATCH 3/3] more tweak: dotted line under buttons

---
 index.bs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/index.bs b/index.bs
index cfa8ea26a..1e7160128 100644
--- a/index.bs
+++ b/index.bs
@@ -331,6 +331,11 @@ del[cite].proposed {
     text-decoration-style: solid !important;
     text-decoration-color: #330099;
 }
+.amendment-buttons {
+    margin-bottom: 2em;
+    padding: 1em 0em;
+    border-bottom: 1px dashed #330099;
+}
 </style>
 
 <h2 id="introductory" class=no-num>