feat: css refactor for easy font change

This commit is contained in:
Jacky Zhao 2022-07-13 23:37:54 -07:00
parent 8b2a82a96a
commit 22c8981bb9
8 changed files with 93 additions and 98 deletions

View file

@ -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`,