Style changes to the module name cell

hazelgrove · Nov 9, 2024 · ae33a8b · ae33a8b
1 parent c1f984d
commit ae33a8b
Show file tree

Hide file tree

Showing 3 changed files with 41 additions and 43 deletions.
diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -180,7 +180,7 @@ let view =
                     ],
                   )
                 : div(
-                    ~attrs=[Attr.class_("prompt-content")],
+                    ~attrs=[Attr.class_("module-name-text")],
                     [
                       text("Module name: "),
                       text(eds.module_name),

diff --git a/src/haz3lweb/www/style.css b/src/haz3lweb/www/style.css
@@ -143,46 +143,4 @@ ninja-keys {
   --ninja-footer-background: var(--T2);
   --ninja-modal-shadow: 0px 10px 20px var(--menu-shadow);
   --ninja-overflow-background: none;
-}
-
-/* PROMPT EDITING */
-
-.cell-prompt {
-  padding: 1em;
-  font-size: 1rem;
-  line-height: 1.6;
-}
-
-.prompt-edit .prompt-text {
-  width: 500px;
-  height: 300px;
-  padding: 10px;
-  font-size: 16px;
-
-  white-space: pre-wrap;
-  word-wrap: break-word;
-}
-
-.cell-prompt .prompt-edit {
-  padding: 1em;
-  font-size: 1rem;
-  color: var(--light-text-color);
-}
-
-
-.edit-icon {
-  margin-left: 0.5em;
-  cursor: pointer;
-  fill: #7a6219;
-  display: inline-flex;
-  vertical-align: top;
-}
-
-.edit-icon:hover {
-  animation: wobble 0.6s ease 0s 1 normal forwards;
-}
-
-.point-num-input {
-  width: 50px;
-  font-size: 12px;
 }
diff --git a/src/haz3lweb/www/style/cell.css b/src/haz3lweb/www/style/cell.css
@@ -132,3 +132,43 @@
 .file-select-button {
   display: none;
 }
+
+/* EDITING */
+
+.cell-module-name {
+  padding: 1em;
+}
+
+.prompt-edit .prompt-text {
+  width: 500px;
+  height: 300px;
+  padding: 10px;
+  font-size: 16px;
+
+  white-space: pre-wrap;
+  word-wrap: break-word;
+}
+
+.cell-prompt .prompt-edit {
+  padding: 1em;
+  font-size: 1rem;
+  color: var(--light-text-color);
+}
+
+
+.edit-icon {
+  margin-left: 0.5em;
+  cursor: pointer;
+  fill: #7a6219;
+  display: inline-flex;
+  vertical-align: top;
+}
+
+.edit-icon:hover {
+  animation: wobble 0.6s ease 0s 1 normal forwards;
+}
+
+.point-num-input {
+  width: 50px;
+  font-size: 12px;
+}