Seems like Katex from the scripts getting loaded. I love the design too, kinda medieval-chic.