From 3cdda95b6409c138a94a538f3e76f30b5754b97d Mon Sep 17 00:00:00 2001
From: "j.vondoemming" <j.vondoemming@stud.uni-goettingen.de>
Date: Sun, 7 Aug 2022 12:39:08 +0200
Subject: [PATCH] better menu on mobile
---
theme/static/css/main.css | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/theme/static/css/main.css b/theme/static/css/main.css
index b97fa7f..cd81b63 100644
--- a/theme/static/css/main.css
+++ b/theme/static/css/main.css
@@ -157,7 +157,7 @@ body > header img {
width: 100%;
height: 100%;
display: none;
- background-color: rgba(120,120, 120, 0.5);
+ background-color: rgba(120,120, 120, 0.7);
-webkit-user-select: none; /* Safari */
-moz-user-select: none; /* Firefox */
-ms-user-select: none; /* IE10+/Edge */
@@ -190,6 +190,8 @@ body > header img {
}
#sitemenu-container nav > ul {
flex-direction: column;
+ max-height: calc(100vh - 3.2rem);
+ overflow: scroll;
}
#sitemenu-container nav > ul > li {
width: 100%;
--
GitLab