---
import Footer from "../components/Footer.astro";
import LeftNav from "../components/LeftNav.astro";
import classNames from "classnames";
import "../styles/global.scss";
import "katex/dist/katex.min.css";
interface Props {
pad?: boolean;
}
const { pad } = Astro.props;
const shouldPad = pad === undefined ? true : pad;
---
Michael Zhang