docs: update to account for github changes

Jacky Zhao

2023-03-02 aa5ab03d4ad6e7cb4d9efd3f9c177ebde7e4c4af

 assets/styles/syntax.scss

@@ -60,3 +60,7 @@
pre.chroma {
  -moz-tab-size:4;-o-tab-size:4;tab-size:4;
}

.katex {
  font-size: 1.1em !important;
}