Merge branch 'master' into canary

2023-08-24 21:36:55 +02:00
parent 21bd04ec89 c6d1d73dd2
commit 5063e8f0b8
21 changed files with 167 additions and 42 deletions
@@ -7,6 +7,7 @@
                { left: "$", right: "$", display: false },
                { left: "\\(", right: "\\)", display: false },
                { left: "\\[", right: "\\]", display: true }
-            ]
+            ],
+            ignoredClasses: ["gist"]
        });})
 </script>