From d747b19e6104def4b550d86b2ce6ce923773d8ad Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Tue, 19 Jul 2022 16:03:19 +0000
Subject: [PATCH] docs: copy edits

---
 assets/js/popover.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/assets/js/popover.js b/assets/js/popover.js
index 8eb637d..6fec7e5 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -50,7 +50,7 @@
           li.addEventListener("mouseover", () => {
             // fix tooltip positioning
             window.FloatingUIDOM.computePosition(li, el, {
-              middleware: [window.FloatingUIDOM.offset(15), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
+              middleware: [window.FloatingUIDOM.offset(10), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
             }).then(({ x, y }) => {
               Object.assign(el.style, {
                 left: `${x}px`,

--
Gitblit v1.10.0