Fix menus with many items (#5972)

This commit is contained in:
Marc Bernard 2023-01-05 20:52:52 +01:00 committed by GitHub
parent e716fd6437
commit 2f1866131f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -755,6 +755,8 @@ div.tutorial h2 { font-size: 14pt;}
z-index: 1;
padding: 0;
box-shadow: 1px 1px 3px 0px #bbb;
max-height: 700px;
overflow: auto;
}
.nav-container ul ul li {