make stuff line up more

astro.config.ts

@@ -22,6 +22,7 @@ const publicDir = "public";
 // https://astro.build/config
 export default defineConfig({
   site: "https://mzhang.io",
+  prefetch: true,
   integrations: [mdx(), sitemap(), markdoc()],
 
   outDir,

src/components/LeftNav.astro

@@ -10,13 +10,13 @@ const target = Astro.url.pathname === "/" ? "/about/" : "/";
 
 <nav class="side-nav">
   <div class="side-nav-content">
-    <a href={target} class="portrait">
+    <a href={target} class="portrait" data-astro-prefetch>
       <Image src={portrait} alt="portrait" class="portrait" />
     </a>
     <div class="me">
       <div class="titleContainer">
         <h1 class="title">
-          <a href={target}>Michael Zhang</a>
+          <a href={target} data-astro-prefetch>Michael Zhang</a>
         </h1>
       </div>
       <div class="links">

src/components/PostList.astro

@@ -79,7 +79,7 @@ const sortedPosts = sortBy(allPosts, (post) => -post.data.date);
 <style lang="scss">
   .postListing {
     width: 100%;
-    border-spacing: 6px 24px;
+    border-spacing: 0px 24px;
 
     :global(.timestamp) {
       font-family: var(--monofont);

src/content/posts/2024-09-18-hcomp/index.lagda.md

@@ -99,8 +99,8 @@ We can map both $p(i)$ and $q(i)$ down to a square that has $x$ on all corners a
 
 Let's start with the left and right faces $(i = \{ \mathsf{i0} , \mathsf{i1} \})$.
 These can be produced using the proof $f : \mathsf{isProp}(A)$ that we are given.
-$f$ tells us that $x$ and $y$ are the same, so $f(x, x) = x \equiv x$ and $f(x, y) = x \equiv y$.
+$f$ tells us that $x$ and $y$ are the same, so $f(x, x) : x \equiv x$ and $f(x, y) : x \equiv y$.
-This means we can define the left face as $f(x, x, k)$ and the right face as $f(x, y, k)$.
+This means we can define the left face as $f(x, x)(k)$ and the right face as $f(x, y)(k)$.
 (Remember, $k$ is the direction going from bottom to top)
 
 ![](./sides.jpg)

src/pages/drafts.astro

@@ -7,7 +7,7 @@ const currentUrl = Astro.url;
 ---
 
 <BaseLayout>
-  <h2>Blog</h2>
+  <h1>Drafts</h1>
 
   <PostList basePath={join(dirname(currentUrl.pathname), "posts")} drafts="only" />
 </BaseLayout>

src/pages/index.astro

@@ -8,7 +8,7 @@ const currentUrl = Astro.url;
 ---
 
 <BaseLayout>
-  <h2>Blog</h2>
+  <h1>Blog</h1>
 
   <PostList class="home" timeFormat="yyyy-MM-dd" basePath={join(currentUrl.pathname, "posts")} />
 </BaseLayout>