ink rel="stylesheet" type="text/css" href="./css/default.css" />
    <!-- Syntax highlighting -->
    <link rel="stylesheet" type="text/css" href="./css/pygments.css" />
    <link rel="stylesheet" type="text/css" href="./css/katex.css" />
    <!-- Margin and sidenotes -->
    <link rel="stylesheet" type="text/css" href="./css/sidenotes.css" />
  </head>

  <body>
    <div class="navbar-space">
       
      <div id="contents-big">
        <p class="mini-header">Contents <a id="up-arrow" href="#">↑</a></p>