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 | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/index.d.ts b/index.d.ts
index 4a93f16..07f8082 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -5,7 +5,10 @@
// dom custom event
interface CustomEventMap {
- nav: CustomEvent<{ url: CanonicalSlug }>
+ prenav: CustomEvent<{}>
+ nav: CustomEvent<{ url: FullSlug }>
+ themechange: CustomEvent<{ theme: "light" | "dark" }>
}
+type ContentIndex = Record<FullSlug, ContentDetails>
declare const fetchData: Promise<ContentIndex>
--
Gitblit v1.10.0