From 9773385eab4ed7c6ca6ab71f30db493ae67640af Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Tue, 10 Aug 2021 11:45:40 +0200
Subject: [PATCH] Move hidden tooltip background off useful area

---
 frontend/src/mathjax-proof-tree.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/src/mathjax-proof-tree.ts b/frontend/src/mathjax-proof-tree.ts
index c321de7..5dcb4b1 100644
--- a/frontend/src/mathjax-proof-tree.ts
+++ b/frontend/src/mathjax-proof-tree.ts
@@ -492,7 +492,7 @@ class MathjaxProofTree extends MathjaxAdapter {
                         const defId = typeTarget.classList[1].replace("-label-", "-definition-");
                         this.shadowRoot!.getElementById(defId)!.style.display = "none";
                         let defElBackground = this.shadowRoot!.getElementById(defId + "-background");
-                        defElBackground!.setAttribute("y", String(10000));
+                        defElBackground!.setAttribute("y", String(-10000));
                         defElBackground!.setAttribute("fill", "transparent");
                         if (typeTarget.classList.length >= 3) {
                             hoverStylesUnification!.innerHTML = "";