Compare commits

..

2 commits

Author SHA1 Message Date
8f5895e9ba Respect toc attribute in metadata
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 2m57s
2024-11-06 14:03:24 +01:00
dde2ca0172 wip: quick and dumb implementation of toc 2024-11-06 14:03:24 +01:00

View file

@ -5,7 +5,6 @@ window.addEventListener("load", () => {
N: "mathbb{N}",
R: "mathbb{R}",
Z: "mathbb{Z}",
B: "mathbb{B}",
O: "Theta",
ra: "rightarrow",
la: "leftarrow",
@ -13,8 +12,8 @@ window.addEventListener("load", () => {
LA: "Leftarrow",
u: "mu",
Tau: "mathrm{T}",
lb: "llbracket",
rb: "rrbracket",
lb: "textlbrackdbl",
rb: "textrbrackdbl",
})
)[Symbol.iterator]()) {
const bs = "\\";