<script>
(function () {
  var scale = 1;
  var label = document.getElementById('fontZoomLabel');
  var root = document.documentElement;
  function applyScale() {
    root.style.setProperty('--font-scale', String(scale));
    if (label) label.textContent = Math.round(scale * 100) + '%';
  }
  var btnSm = document.getElementById('fontSmaller');
  var btnLg = document.getElementById('fontLarger');
  if (btnSm) btnSm.addEventListener('click', function () { scale = Math.max(0.85, scale - 0.05); applyScale(); });
  if (btnLg) btnLg.addEventListener('click', function () { scale = Math.min(1.2, scale + 0.05); applyScale(); });
})();
</script>
