temp fix on weird version select error

hazelgrove · Oct 30, 2024 · ae15735 · ae15735
1 parent bd019e1
commit ae15735
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/src/haz3lweb/view/exercise/ProofView.re b/src/haz3lweb/view/exercise/ProofView.re
@@ -572,8 +572,12 @@ let proof_view =
       ~attrs=[Attr.class_("version-name"), Attr.title("Toggle Version")],
       [
         div(~attrs=[Attr.class_("version-label")], [text("Version: ")]),
+        text(Unicode.nbsp),
+        text(RuleImage.show_version(eds.version)),
+        text(Unicode.nbsp),
         select(
           ~attrs=[
+            Attr.class_("version-select"),
             Attr.on_change((_, name) =>
               inject(
                 UpdateAction.MapExercise(

diff --git a/src/haz3lweb/www/style/exercise-mode.css b/src/haz3lweb/www/style/exercise-mode.css
@@ -545,4 +545,15 @@
   font-weight: bold;
   display: flex;
   padding-left: 1.2em;
+}
+
+.version-select {
+  border-radius: 2rem;
+  color: transparent;
+  width: 1.2rem;
+  background: var(--BR1);
+}
+
+.version-select:hover {
+  background: var(--BR2);
 }