dont do when printing or publishing

fonsp · Oct 3, 2024 · e408b1f · e408b1f
1 parent 826ce2e
commit e408b1f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git 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
@@ -422,6 +422,10 @@ jlerror .dont-panic {
     transform: rotate(6deg);
 }
 
+body.disable_ui jlerror .dont-panic {
+    display: none;
+}
+
 table.pluto-table {
     table-layout: fixed;
 }