Move diagnostics log to modal; add header Log button

2025-12-13 11:41:13 -05:00
parent 5ee183d607
commit 650175913e
3 changed files with 36 additions and 7 deletions
--- a/pikit-web/assets/diaglog.css
+++ b/pikit-web/assets/diaglog.css
@@ -0,0 +1,4 @@
+.diag-log-modal .log-box {
+  max-height: 60vh;
+  min-height: 300px;
+}