From 6df7f0f44305a732a66b8624c70647a74451460b Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Tue, 27 Jul 2021 13:08:38 +0200 Subject: [PATCH] Fix tooltip display in Google Chrome --- frontend/src/mathjax-proof-tree.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontend/src/mathjax-proof-tree.ts b/frontend/src/mathjax-proof-tree.ts index 3e66902..8a59b80 100644 --- a/frontend/src/mathjax-proof-tree.ts +++ b/frontend/src/mathjax-proof-tree.ts @@ -81,7 +81,8 @@ class MathjaxProofTree extends MathjaxAdapter { margin: 0 !important;\ }\ .typicalc-type, g[semantics='bspr_prooflabel:left'] {\ - stroke: transparent; stroke-width: 600px; pointer-events: all;\ + /* cross-browser-compatibility: Chrome does not support the stroke trick, but instead bounding-box (which is not supported by Firefox..) */\ + stroke: transparent; stroke-width: 600px; pointer-events: all; pointer-events: bounding-box;\ }\ #typicalc-definition-abs, #typicalc-definition-abs-let, #typicalc-definition-app,\ #typicalc-definition-const, #typicalc-definition-var, #typicalc-definition-var-let, #typicalc-definition-let {\