From 66ad32179fbee849bc85939d71924a86a42f9b09 Mon Sep 17 00:00:00 2001
From: HouTeng Chan <ht-chen21@mails.tsinghua.edu.cn>
Date: Tue, 23 Jul 2024 14:20:20 +0000
Subject: [PATCH] Update file menu.html
---
wiki/menu.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/wiki/menu.html b/wiki/menu.html
index 3e0dfc08..975048f7 100644
--- a/wiki/menu.html
+++ b/wiki/menu.html
@@ -1,6 +1,6 @@
<style>
.navbar {
- padding-top: 30px; /* Adjust this value based on your logo size */
+ padding-top: 25px; /* Adjust this value based on your logo size */
}
.logo-container {
--
GitLab