Merge remote-tracking branch 'origin/master' into what-should-i-name-this-branch

2021-12-21 07:59:33 +08:00
parent fe6556f7b7 d2f3070522
commit fab4b07be5
164 changed files with 128258 additions and 912 deletions
@@ -30,6 +30,7 @@
    "jest": "^27.0.6",
    "jest-circus": "^27.0.6",
    "jsdom": "^16.7.0",
+    "katex": "^0.15.1",
    "mini-css-extract-plugin": "^1.6.2",
    "sass": "^1.37.5",
    "sass-loader": "^11.1.1",