diff --git a/src/components/PostList.astro b/src/components/PostList.astro
index 425cf4a..d642589 100644
--- a/src/components/PostList.astro
+++ b/src/components/PostList.astro
@@ -59,7 +59,7 @@ const sortedPosts = sortBy(allPosts, (post) => -post.data.date);
diff --git a/src/pages/posts/[...slug].astro b/src/pages/posts/[...slug].astro
index 6551b80..7d8d9e0 100644
--- a/src/pages/posts/[...slug].astro
+++ b/src/pages/posts/[...slug].astro
@@ -1,5 +1,6 @@
---
import "../../styles/post.scss";
+import "../../styles/agda.scss";
import BaseLayout from "../../layouts/BaseLayout.astro";
import { type CollectionEntry, getCollection } from "astro:content";
import Timestamp from "../../components/Timestamp.astro";
@@ -66,8 +67,8 @@ const excerpt = remarkPluginFrontmatter.excerpt?.replaceAll("\n", "");
Posted on
- - {remarkPluginFrontmatter.minutesRead}
- - |