dream2nix/website/no-edit-options.js
DavHau 2fc4ef33cc docs: overhaul reference documentation pipeline
- use nixosOptionsDoc commonMark output
- simplify a lot of things
- redesign towards a future generic standalon nixosOptionsWebsite function
2024-04-05 19:42:14 +07:00

8 lines
188 B
JavaScript

if (window.location.pathname.match(/options/)) {
var buttons = document.querySelector("#menu-bar > div.right-buttons")
if (buttons != null) {
buttons.style.display = "none"
}
}