From e408b1f596fb68e9c52b7d8e5986a04b518d44fe Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Thu, 3 Oct 2024 13:53:27 +0200 Subject: [PATCH] dont do when printing or publishing --- frontend/hide-ui.css | 1 + frontend/treeview.css | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/frontend/hide-ui.css b/frontend/hide-ui.css index f73eab0fa4..36085469fe 100644 --- a/frontend/hide-ui.css +++ b/frontend/hide-ui.css @@ -28,6 +28,7 @@ pluto-runarea, .MJX_ToolTip, .MJX_HoverRegion, .MJX_LiveRegion, + .dont-panic, nav#undo_delete { display: none !important; } diff --git a/frontend/treeview.css b/frontend/treeview.css index a00edee4d3..3d63fe4322 100644 --- a/frontend/treeview.css +++ b/frontend/treeview.css @@ -422,6 +422,10 @@ jlerror .dont-panic { transform: rotate(6deg); } +body.disable_ui jlerror .dont-panic { + display: none; +} + table.pluto-table { table-layout: fixed; }