// Minimal client script: enable JS styles
document.documentElement.classList.remove("no-js");