From bdcc0d5edc0894d77b1596a2d8ef0f2ba1f29321 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Tue, 19 Sep 2023 15:31:23 +0200 Subject: [PATCH] small screen CSS tweak --- frontend/editor.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/frontend/editor.css b/frontend/editor.css index d60be69da9..a6c6b141f9 100644 --- a/frontend/editor.css +++ b/frontend/editor.css @@ -1878,6 +1878,8 @@ pluto-popup > * { /* Slightly changes the layout of the three pkg buttons... in just the way that we want it! */ position: absolute; max-width: 100%; + max-height: 80vh; + overflow-y: auto; } pluto-popup > div > *:first-child {