diff --git a/frontend/hide-ui.css b/frontend/hide-ui.css index f73eab0fa..36085469f 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 a00edee4d..3d63fe432 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; }