From dff5ae0d4debfdb2de226984e86a987d99d039ad Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Thu, 14 Jul 2022 20:09:21 +0000
Subject: [PATCH] style: improve header anchor styling
---
assets/js/popover.js | 11 +++++++++++
1 files changed, 11 insertions(+), 0 deletions(-)
diff --git a/assets/js/popover.js b/assets/js/popover.js
index 494cd84..6fec7e5 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -46,7 +46,18 @@
throwOnError: false
})
}
+
li.addEventListener("mouseover", () => {
+ // fix tooltip positioning
+ window.FloatingUIDOM.computePosition(li, el, {
+ middleware: [window.FloatingUIDOM.offset(10), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
+ }).then(({ x, y }) => {
+ Object.assign(el.style, {
+ left: `${x}px`,
+ top: `${y}px`,
+ })
+ })
+
el.classList.add("visible")
})
li.addEventListener("mouseout", () => {
--
Gitblit v1.10.0