feat: css refactor for easy font change

2022-07-13 23:37:54 -07:00
parent e235f00fd1
commit 4db93bf384
8 changed files with 93 additions and 98 deletions
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@ -50,7 +50,7 @@ function initPopover(baseURL, useContextualBacklinks, renderLatex) {
          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`,