From 22341044ba6da237f2309a41a7270d39ac12cb19 Mon Sep 17 00:00:00 2001
From: Maxim Devaev <mdevaev@gmail.com>
Date: Fri, 9 Jun 2023 03:59:36 +0300
Subject: [PATCH] pikvm/pikvm#919: Scrollable Web UI menues

---
 web/share/css/navbar.css | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/web/share/css/navbar.css b/web/share/css/navbar.css
index 802b34dc..afee8f02 100644
--- a/web/share/css/navbar.css
+++ b/web/share/css/navbar.css
@@ -106,7 +106,9 @@ ul#navbar li a.menu-button-pressed {
 ul#navbar li div.menu {
 	visibility: hidden;
 	outline: none;
-	overflow: hidden;
+	overflow-x: hidden;
+	overflow-y: auto;
+	max-height: calc(100vh - 55px);
 	white-space: nowrap;
 	border: var(--border-navbar-menu-default-2px);
 	border-top: var(--border-navbar-menu-top-thin);
@@ -121,6 +123,21 @@ ul#navbar li div.menu-active {
 	border-top: var(--border-navbar-menu-top-thin) !important;
 }
 
+ul#navbar li div.menu::-webkit-scrollbar {
+	width: 8px;
+	height: 8px;
+}
+ul#navbar li div.menu::-webkit-scrollbar-thumb {
+	border-radius: 4px;
+	background: var(--cs-scroll-default-bg);
+}
+@-moz-document url-prefix() {
+	ul#navbar li div.menu {
+		scrollbar-width: 8px;
+		scrollbar-color: var(--cs-scroll-default-bg) var(--cs-code-default-bg);
+	}
+}
+
 ul#navbar li div.menu details summary {
 	cursor: pointer;
 	outline: none;