From 55ec917eb8f6cafc2d92a2afdbfb11a5f96321b0 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Fri, 20 Sep 2024 13:12:58 -0500
Subject: [PATCH] make stuff line up more

---
 astro.config.ts                                   | 1 +
 src/components/LeftNav.astro                      | 4 ++--
 src/components/PostList.astro                     | 2 +-
 src/content/posts/2024-09-18-hcomp/index.lagda.md | 4 ++--
 src/pages/drafts.astro                            | 2 +-
 src/pages/index.astro                             | 2 +-
 6 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/astro.config.ts b/astro.config.ts
index e8d131d..35d9095 100644
--- a/astro.config.ts
+++ b/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,
diff --git a/src/components/LeftNav.astro b/src/components/LeftNav.astro
index e75e782..3f17ffb 100644
--- a/src/components/LeftNav.astro
+++ b/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">
diff --git a/src/components/PostList.astro b/src/components/PostList.astro
index a8f1054..ae48a17 100644
--- a/src/components/PostList.astro
+++ b/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);
diff --git a/src/content/posts/2024-09-18-hcomp/index.lagda.md b/src/content/posts/2024-09-18-hcomp/index.lagda.md
index 21597c4..8b8a26a 100644
--- a/src/content/posts/2024-09-18-hcomp/index.lagda.md
+++ b/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$.
-This means we can define the left face as $f(x, x, k)$ and the right face as $f(x, y, k)$.
+$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)$.
 (Remember, $k$ is the direction going from bottom to top)
 
 ![](./sides.jpg)
diff --git a/src/pages/drafts.astro b/src/pages/drafts.astro
index bc7c4af..562bb06 100644
--- a/src/pages/drafts.astro
+++ b/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>
diff --git a/src/pages/index.astro b/src/pages/index.astro
index ba876db..daff662 100644
--- a/src/pages/index.astro
+++ b/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>