Update index.html

index.html

@@ -186,11 +186,11 @@ def f(nums):
 
     // ================= Utils =================
     function log(...a){
-      const s=a.map(x=>typeof x==='string'?x:JSON.stringify(x)).join(' ');
+      const s = a.map(x => (typeof x === 'string' ? x : JSON.stringify(x))).join(' ');
       logDiv.textContent += s + '
 ';
-      logDiv.scrollTop=logDiv.scrollHeight;
-      console.log('[LOG]',...a);
+      logDiv.scrollTop = logDiv.scrollHeight;
+      console.log('[LOG]', ...a);
     }
     function chip(kind,text){ statusChip.className='chip '+(kind||''); statusChip.textContent=text; statusChip.style.display='inline-flex'; }
     function clearChip(){ statusChip.style.display='none'; }
@@ -303,4 +303,4 @@ ${user}
     stopBtn.addEventListener('click',()=>{ try{ abortGen?.abort(); }catch{} });
   </script>
 </body>
-</html>
+</html>