 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="navigation">
        <a href="./" class="menu-title">
          Tony's blog
        </a>
        <ul>
          <li><a href="./p