From 66de827e37441f292caca77d97931efd729e5a36 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Sat, 14 Sep 2024 23:57:48 -0500
Subject: [PATCH] updates

---
 src/components/TagList.astro |  2 +-
 src/pages/about.mdx          | 24 ++++++++++++++++++++----
 src/styles/_colors.scss      |  2 +-
 src/styles/agda.scss         |  7 +++++--
 src/styles/footer.scss       |  3 ++-
 5 files changed, 29 insertions(+), 9 deletions(-)

diff --git a/src/components/TagList.astro b/src/components/TagList.astro
index 5f37e1d..9427b8d 100644
--- a/src/components/TagList.astro
+++ b/src/components/TagList.astro
@@ -8,7 +8,7 @@ const { extraFront, tags, extraBack } = Astro.props;
   {extraFront}
   {
     tags.toSorted().map((tag: string) => (
-      <a href={`/tags/${tag}`} class="tag">
+      <a href={`/tags/${tag}/`} class="tag">
         <i class="fa fa-tag" aria-hidden="true" />
         <span class="text">#{tag}</span>
       </a>
diff --git a/src/pages/about.mdx b/src/pages/about.mdx
index f8b2c89..a01008a 100644
--- a/src/pages/about.mdx
+++ b/src/pages/about.mdx
@@ -13,8 +13,15 @@ Hi there! :wave:
 
 ### Research
 
-Currently, I'm learning about [cubical type theory][cubical]. I'll probably
-write some blog posts as I learn more. My advisor is [Favonia].
+I'm learning about [cubical type theory][cubical]!
+I'll probably write some blog posts as I learn more.
+
+For my master's thesis project, I'm investigating a mechanization of [spectral sequences] in [Cubical] [Agda].
+So far, I've been primarily working through the [homotopy type theory book][HoTTBook].
+
+[spectral sequences]: https://en.wikipedia.org/wiki/Spectral_sequence
+[agda]: https://agda.readthedocs.io/en/latest/overview.html
+[hottbook]: https://homotopytypetheory.org/book/
 
 ### University Involvement
 
@@ -53,8 +60,17 @@ regularly.
 
 ### Hobbies
 
-I love cooking, listening to music, chess, bouldering, and beer.
-If you're in the Minneapolis area, let's chat!
+Outside of computer science, I love cooking, music, and games.
+In particular, I'm a huge fan of rhythm games.
+
+Occasionally, I also like to take some time and immerse myself in some random hobby. Here are some things that I have taken interest in before:
+
+- Chess
+- Lock picking
+- Bouldering
+- Craft beer
+
+If you're in the Minneapolis or Twin Cities area, let's chat!
 
 [2]: https://git.mzhang.io/explore
 [9]: setup
diff --git a/src/styles/_colors.scss b/src/styles/_colors.scss
index 883e46f..5443f95 100644
--- a/src/styles/_colors.scss
+++ b/src/styles/_colors.scss
@@ -43,7 +43,7 @@
 @media (prefers-color-scheme: dark) {
   $backgroundColor: hsl(230, 20%, 16%);
   $textColor: #cdcdcd;
-  $linkColor: hsl(216, 82%, 75%);
+  $linkColor: hsl(211, 83%, 75%);
   $linkHoverColor: #202749;
 
   :root {
diff --git a/src/styles/agda.scss b/src/styles/agda.scss
index 6765fb3..ee29950 100644
--- a/src/styles/agda.scss
+++ b/src/styles/agda.scss
@@ -4,6 +4,8 @@
   --blue: #5175be;
   --module: purple;
   --inductive-constructor: #008b00;
+  --comment: #b22222;
+  --string: var(--comment);
 }
 
 @media (prefers-color-scheme: dark) {
@@ -13,12 +15,13 @@
     --blue: #9999FF;
     --module: hsl(276, 66%, 69%);
     --inductive-constructor: #32bb32;
+    --comment: hsl(0, 78%, 66%);
   }
 }
 
 /* Aspects. */
 .Agda .Comment {
-  color: #B22222
+  color: var(--comment);
 }
 
 .Agda .Background {}
@@ -32,7 +35,7 @@
 }
 
 .Agda .String {
-  color: #B22222
+  color: var(--string);
 }
 
 .Agda .Number {
diff --git a/src/styles/footer.scss b/src/styles/footer.scss
index 5a1c8f3..8abcb5a 100644
--- a/src/styles/footer.scss
+++ b/src/styles/footer.scss
@@ -3,7 +3,8 @@ footer {
 
   margin-top: 24px;
   margin-bottom: 40px;
+  padding-bottom: 30px;
   text-align: center;
 
   font-size: 0.85rem;
-}
+}
\ No newline at end of file