From 7f39908f896b6acf35095aee561e87224617b5ae Mon Sep 17 00:00:00 2001
From: HouTeng Chan <ht-chen21@mails.tsinghua.edu.cn>
Date: Thu, 25 Jul 2024 08:11:54 +0000
Subject: [PATCH] Update file menu.html
---
wiki/menu.html | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/wiki/menu.html b/wiki/menu.html
index 320bc533..e7f003e2 100644
--- a/wiki/menu.html
+++ b/wiki/menu.html
@@ -7,8 +7,9 @@
<style>
body {
margin: 0;
- font-family: Arial, sans-serif;
+ font-family: 'Times New Roman', serif;
}
+
.my-nav {
background-color: #ffe4e1;
padding: 5px 0;
@@ -118,7 +119,7 @@
<li><a href="{{ url_for('pages', page='software') }}">Software</a></li>
</ul>
</li>
-
+
<li onmouseover="over(this)" onmouseleave="leave(this)">
<a href="{{ url_for('pages', page='human-practices') }}"" style="cursor:default;">Human Practices</a>
<ul class="son">
--
GitLab