fix CSS of tooltips #207

leanprover-community · Apr 17, 2024 · f308e1a · f308e1a
1 parent 62f1fb8
commit f308e1a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/client/src/css/infoview.css b/client/src/css/infoview.css
@@ -225,3 +225,8 @@
   padding-left: .5em;
   padding-right: .5em;
 }
+
+/* Apparently this prevents the layout from jumping around when hovering over expressions. */
+.tooltip-arrow {
+  display: none;
+}