Fixed padding for module-name and prompt to reduce empty space, instr…

…uctor_mode is false on init
hazelgrove · Feb 23, 2025 · 263040a · 263040a
1 parent 8072c5b
commit 263040a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/haz3lweb/Settings.re b/src/haz3lweb/Settings.re
@@ -35,7 +35,7 @@ module Model = {
     },
     async_evaluation: false,
     context_inspector: false,
-    instructor_mode: true,
+    instructor_mode: false,
     benchmark: false,
     explainThis: {
       show: true,

diff --git a/src/haz3lweb/www/style/cell.css b/src/haz3lweb/www/style/cell.css
@@ -155,7 +155,7 @@
 /* EDITING */
 
 .cell-module-name {
-  padding: 1em;
+  padding-left: 1em;
   display: flex;
   align-items: center;
   gap: 0.5em;
@@ -195,7 +195,9 @@
 }
 
 .cell-prompt {
-  padding: 1em;
+  padding-left: 1em;
+  padding-top: 0.25em;
+  padding-bottom: 0.5em;
 }
 
 .prompt-edit .prompt-text {