diff --git a/docs/src/katex-macros.js b/docs/src/katex-macros.js
index f60a6f0b66b..ee4e8d90738 100644
--- a/docs/src/katex-macros.js
+++ b/docs/src/katex-macros.js
@@ -1,80 +1,75 @@
 module.exports = {
-  "\\sk": "\\color{red}{sk}\\color{black}{}",
-  "\\seed": "\\color{red}\\text{{seed}}\\color{black}{}",
-  "\\nskm": "\\color{red}{nsk_m}\\color{black}{}",
-  "\\tskm": "\\color{red}{tsk_m}\\color{black}{}",
-  "\\ivskm": "\\color{red}{ivsk_m}\\color{black}{}",
-  "\\ovskm": "\\color{red}{ovsk_m}\\color{black}{}",
-
-  "\\Npkm": "\\color{green}{Npk_m}\\color{black}{}",
-  "\\Tpkm": "\\color{green}{Tpk_m}\\color{black}{}",
-  "\\Ivpkm": "\\color{green}{Ivpk_m}\\color{black}{}",
-  "\\Ovpkm": "\\color{green}{Ovpk_m}\\color{black}{}",
-
-  "\\address": "\\color{green}{address}\\color{black}{}",
-  "\\codehash": "\\color{green}{code_hash}\\color{black}{}",
-  "\\constructorhash": "\\color{green}{constructor_hash}\\color{black}{}",
-  "\\classid": "\\color{green}{classid}\\color{black}{}",
-
-  "\\nskapp": "\\color{red}{nsk_{app}}\\color{black}{}",
-  "\\tskapp": "\\color{red}{tsk_{app}}\\color{black}{}",
-  "\\ivskapp": "\\color{red}{ivsk_{app}}\\color{black}{}",
-  "\\ovskapp": "\\color{red}{ovsk_{app}}\\color{black}{}",
-
-  "\\Nkapp": "\\color{orange}{Nk_{app}}\\color{black}{}",
-
-  "\\Npkapp": "\\color{green}{Npk_{app}}\\color{black}{}",
-
-  "\\Ivpkapp": "\\color{green}{Ivpk_{app}}\\color{black}{}",
-
-  "\\happL": "\\color{green}{h_{app}^L}\\color{black}{}",
-  "\\happn": "\\color{green}{h_{app}^n}\\color{black}{}",
-  "\\happiv": "\\color{green}{h_{app}^{iv}}\\color{black}{}",
-
-  "\\d": "\\color{green}{d}\\color{black}{}",
-  "\\Gd": "\\color{green}{G_d}\\color{black}{}",
-
-  "\\Ivpkappd": "\\color{violet}{Ivpk_{app,d}}\\color{black}{}",
-  "\\shareableIvpkappd":
-    "\\color{violet}{\\widetilde{Ivpk_{app,d}}}\\color{black}{}",
-  "\\Ivpkmd": "\\color{violet}{Ivpk_{m,d}}\\color{black}{}",
-  "\\shareableIvpkmd":
-    "\\color{violet}{\\widetilde{Ivpk_{m,d}}}\\color{black}{}",
-
-  "\\ivskappstealth": "\\color{red}{ivsk_{app,stealth}}\\color{black}{}",
-  "\\Ivpkappdstealth": "\\color{violet}{Ivpk_{app,d,stealth}}\\color{black}{}",
-  "\\Pkappdstealth": "\\color{violet}{Pk_{app,d,stealth}}\\color{black}{}",
-  "\\ivskmstealth": "\\color{red}{ivsk_{m,stealth}}\\color{black}{}",
-  "\\Ivpkmdstealth": "\\color{violet}{Ivpk_{m,d,stealth}}\\color{black}{}",
-  "\\Pkmdstealth": "\\color{violet}{Pk_{m,d,stealth}}\\color{black}{}",
-
-  "\\hstealth": "\\color{violet}{h_{stealth}}\\color{black}{}",
-
-  "\\esk": "\\color{red}{esk}\\color{black}{}",
-  "\\Epk": "\\color{green}{Epk}\\color{black}{}",
-  "\\Epkd": "\\color{green}{Epk_d}\\color{black}{}",
-  "\\eskheader": "\\color{red}{esk_{header}}\\color{black}{}",
-  "\\Epkheader": "\\color{green}{Epk_{header}}\\color{black}{}",
-  "\\Epkdheader": "\\color{green}{Epk_{d,header}}\\color{black}{}",
-
-  "\\sharedsecret": "\\color{violet}{\\text{S}}\\color{black}{}",
-  "\\sharedsecretmheader":
-    "\\color{violet}{\\text{S_{m,header}}}\\color{black}{}",
-  "\\sharedsecretappheader":
-    "\\color{violet}{\\text{S_{app,header}}}\\color{black}{}",
-
-  "\\hmencheader": "\\color{violet}{h_{m,enc,header}}\\color{black}{}",
-  "\\happencheader": "\\color{violet}{h_{app,enc,header}}\\color{black}{}",
-  "\\hmenc": "\\color{violet}{h_{m,enc}}\\color{black}{}",
-  "\\happenc": "\\color{violet}{h_{app,enc}}\\color{black}{}",
-  "\\incomingenckey": "\\color{violet}{h_{incoming_enc_key}}\\color{black}{}",
-
-  "\\plaintext": "\\color{red}{\\text{plaintext}}\\color{black}{}",
-  "\\ciphertext": "\\color{green}{\\text{ciphertext}}\\color{black}{}",
-  "\\ciphertextheader":
-    "\\color{green}{\\text{ciphertext\\_header}}\\color{black}{}",
-  "\\payload": "\\color{green}{\\text{payload}}\\color{black}{}",
-
-  "\\tagg": "\\color{green}{\\text{tag}}\\color{black}{}",
-  "\\Taghs": "\\color{green}{\\text{Tag}\\_{hs}}\\color{black}{}",
+  "\\sk": "{\\color{red}{sk}}",
+  "\\seed": "{\\color{red}\\text{{seed}}}",
+  "\\nskm": "{\\color{red}{nsk_m}}",
+  "\\tskm": "{\\color{red}{tsk_m}}",
+  "\\ivskm": "{\\color{red}{ivsk_m}}",
+  "\\ovskm": "{\\color{red}{ovsk_m}}",
+
+  "\\Npkm": "{\\color{green}{Npk_m}}",
+  "\\Tpkm": "{\\color{green}{Tpk_m}}",
+  "\\Ivpkm": "{\\color{green}{Ivpk_m}}",
+  "\\Ovpkm": "{\\color{green}{Ovpk_m}}",
+
+  "\\address": "{\\color{green}{address}}",
+  "\\codehash": "{\\color{green}{code_hash}}",
+  "\\constructorhash": "{\\color{green}{constructor_hash}}",
+  "\\classid": "{\\color{green}{classid}}",
+
+  "\\nskapp": "{\\color{red}{nsk_{app}}}",
+  "\\tskapp": "{\\color{red}{tsk_{app}}}",
+  "\\ivskapp": "{\\color{red}{ivsk_{app}}}",
+  "\\ovskapp": "{\\color{red}{ovsk_{app}}}",
+
+  "\\Nkapp": "{\\color{orange}{Nk_{app}}}",
+
+  "\\Npkapp": "{\\color{green}{Npk_{app}}}",
+
+  "\\Ivpkapp": "{\\color{green}{Ivpk_{app}}}",
+
+  "\\happL": "{\\color{green}{h_{app}^L}}",
+  "\\happn": "{\\color{green}{h_{app}^n}}",
+  "\\happiv": "{\\color{green}{h_{app}^{iv}}}",
+
+  "\\d": "{\\color{green}{d}}",
+  "\\Gd": "{\\color{green}{G_d}}",
+
+  "\\Ivpkappd": "{\\color{violet}{Ivpk_{app,d}}}",
+  "\\shareableIvpkappd": "{\\color{violet}{\\widetilde{Ivpk_{app,d}}}}",
+  "\\Ivpkmd": "{\\color{violet}{Ivpk_{m,d}}}",
+  "\\shareableIvpkmd": "{\\color{violet}{\\widetilde{Ivpk_{m,d}}}}",
+
+  "\\ivskappstealth": "{\\color{red}{ivsk_{app,stealth}}}",
+  "\\Ivpkappdstealth": "{\\color{violet}{Ivpk_{app,d,stealth}}}",
+  "\\Pkappdstealth": "{\\color{violet}{Pk_{app,d,stealth}}}",
+  "\\ivskmstealth": "{\\color{red}{ivsk_{m,stealth}}}",
+  "\\Ivpkmdstealth": "{\\color{violet}{Ivpk_{m,d,stealth}}}",
+  "\\Pkmdstealth": "{\\color{violet}{Pk_{m,d,stealth}}}",
+
+  "\\hstealth": "{\\color{violet}{h_{stealth}}}",
+
+  "\\esk": "{\\color{red}{esk}}",
+  "\\Epk": "{\\color{green}{Epk}}",
+  "\\Epkd": "{\\color{green}{Epk_d}}",
+  "\\eskheader": "{\\color{red}{esk_{header}}}",
+  "\\Epkheader": "{\\color{green}{Epk_{header}}}",
+  "\\Epkdheader": "{\\color{green}{Epk_{d,header}}}",
+
+  "\\sharedsecret": "{\\color{violet}{\\text{S}}}",
+  "\\sharedsecretmheader": "{\\color{violet}{\\text{S_{m,header}}}}",
+  "\\sharedsecretappheader": "{\\color{violet}{\\text{S_{app,header}}}}",
+
+  "\\hmencheader": "{\\color{violet}{h_{m,enc,header}}}",
+  "\\happencheader": "{\\color{violet}{h_{app,enc,header}}}",
+  "\\hmenc": "{\\color{violet}{h_{m,enc}}}",
+  "\\happenc": "{\\color{violet}{h_{app,enc}}}",
+  "\\incomingenckey": "{\\color{violet}{h_{incoming_enc_key}}}",
+
+  "\\plaintext": "{\\color{red}{\\text{plaintext}}}",
+  "\\ciphertext": "{\\color{green}{\\text{ciphertext}}}",
+  "\\ciphertextheader": "{\\color{green}{\\text{ciphertext\\_header}}}",
+  "\\payload": "{\\color{green}{\\text{payload}}}",
+
+  "\\tagg": "{\\color{green}{\\text{tag}}}",
+  "\\Taghs": "{\\color{green}{\\text{Tag}\\_{hs}}}",
 };