New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hotfix: Hamburger menu #105

Merged

Siedlerchr merged 1 commit into JabRef:main from subhramit:fix-burger

Sep 30, 2024

Member

subhramit commented Sep 30, 2024 •

edited

Loading

The absence of toc causes the ## tagged headings to bug and somehow disable the hamburger menu:

document.querySelector("main h2, main h3") && (tocbot.init({
    tocSelector: "#toc",
    contentSelector: ".content",
    ignoreSelector: "[data-toc-skip]",
    headingSelector: "h2, h3, h4",
    orderedList: !1,
    scrollSmooth: !1
}),
document.getElementById("toc-wrapper").classList.remove("d-none"))

Difference from minimal chirpy theme was the bool flag that enabled toc:


          Fix toc

78d3410

Siedlerchr approved these changes

View reviewed changes

Siedlerchr merged commit 27bd42b into JabRef:main

2 checks passed

subhramit deleted the fix-burger branch

October 3, 2024 18:33

subhramit mentioned this pull request

Mobile view burger Icon to show menu is not working sometimes #103

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet