From f308e1ad4972cef48d1da3f2dabb7e454eb3dacd Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Wed, 17 Apr 2024 12:54:13 +0200
Subject: [PATCH] fix CSS of tooltips #207

---
 client/src/css/infoview.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/client/src/css/infoview.css b/client/src/css/infoview.css
index 987a175c..3363f8d3 100644
--- 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;
+}