From a72b1a422485d4f2258e58c1f76f933cb24cf455 Mon Sep 17 00:00:00 2001
From: Felix Nie <hongtuo.nie@u.nus.edu>
Date: Sun, 16 Mar 2025 19:08:45 +0000
Subject: [PATCH] fix(explorer): vertically center the Explorer toggle under mobile view (#1847)

---
 index.d.ts |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/index.d.ts b/index.d.ts
index 8e524af..07f8082 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -10,4 +10,5 @@
   themechange: CustomEvent<{ theme: "light" | "dark" }>
 }
 
+type ContentIndex = Record<FullSlug, ContentDetails>
 declare const fetchData: Promise<ContentIndex>

--
Gitblit v1.10.0