Fixed styling issues

hazelgrove · Dec 15, 2024 · be6a571 · be6a571
1 parent dd717ae
commit be6a571
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 4 deletions.
diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -277,7 +277,7 @@ let view =
                         msg,
                       ),
                       div(
-                        ~attrs=[Attr.class_("edit-icon")],
+                        ~attrs=[Attr.class_("edit-pencil")],
                         [
                           Widgets.button(Icons.pencil, _ =>
                             inject(Set(EditingPrompt))

diff --git a/src/haz3lweb/www/style/cell.css b/src/haz3lweb/www/style/cell.css
@@ -200,6 +200,14 @@
   align-items: center;
 }
 
+.cell-prompt .prompt-edit .edit-pencil {
+  align-self: top;
+}
+
+.cell-prompt .prompt-edit .edit-icon {
+  align-self: flex-start;
+}
+
 .cell-prompt .prompt-placeholder {
   font-style: italic;
   color: var(--BR4);
@@ -210,15 +218,17 @@
   font-size: 1rem;
 }
 
-.edit-icon {
+.edit-icon,
+.edit-pencil {
   margin-left: 0.5em;
   cursor: pointer;
   fill: #7a6219;
-  display: inline-flex;
+  display: inline;
   vertical-align: top;
 }
 
-.edit-icon:hover {
+.edit-icon:hover,
+.edit-pencil:hover {
   animation: wobble 0.6s ease 0s 1 normal forwards;
 }