__CONTENT__
fetch('/api/stats').then(function(r){return r.json()}).then(function(d){var ns=document.getElementById('nav-stars');if(ns&&d.github_stars)ns.textContent='★ '+d.github_stars}).catch(function(){});
document.getElementById('nav-ham').addEventListener('click',function(){
document.querySelector('.nav-links').classList.toggle('open');
this.textContent=this.textContent==='☰'?'✕':'☰';
});