Fix comment highlight: use box-shadow animation instead of color-mix background

Co-Authored-By: Claude Sonnet 4.6 <[e-mail]>

static/css/editor.css

···
 }
 
 @keyframes para-highlight {
-    0%   { background: color-mix(in srgb, var(--primary) 20%, transparent); }
-    100% { background: transparent; }
+    0%   { box-shadow: inset 0 0 0 2px rgba(37, 99, 235, 0.7), 0 0 0 4px rgba(37, 99, 235, 0.15); }
+    100% { box-shadow: inset 0 0 0 2px rgba(37, 99, 235, 0), 0 0 0 4px rgba(37, 99, 235, 0); }
 }
 
 .para-highlight {
-    animation: para-highlight 1.2s ease-out forwards;
+    animation: para-highlight 1.4s ease-out forwards;
     border-radius: 3px;
 }
 

templates/document_edit.html

···
         container.addEventListener('click', e => {
             const thread = e.target.closest('.comment-thread');
             if (!thread) return;
-            const pid = thread.dataset.paragraph || '';
-            console.debug('[comment-click] pid:', pid, 'thread:', thread);
-            jumpToParagraph(pid);
+            jumpToParagraph(thread.dataset.paragraph || '');
         });
     })();
 
···
     }
 
     function jumpToParagraph(pid) {
-        console.debug('[jumpToParagraph] pid:', pid, 'milkdownEditor:', !!milkdownEditor);
         if (pid === 'general') return;
         const idx = parseInt(pid.replace('p-', ''), 10);
         if (isNaN(idx)) return;
         if (!milkdownEditor) return;
         const pmView = milkdownEditor.action(ctx => ctx.get(editorViewCtx));
-        console.debug('[jumpToParagraph] pmView:', !!pmView, 'dom:', pmView && pmView.dom);
         if (!pmView) return;
         const pmEl = pmView.dom;
         const blocks = Array.from(pmEl.children);
-        console.debug('[jumpToParagraph] idx:', idx, 'blocks.length:', blocks.length, 'target:', blocks[idx]);
         const target = blocks[idx];
         if (!target) return;
         target.scrollIntoView({ behavior: 'smooth', block: 'center' });