diff --git a/crates/cli/src/playground.html b/crates/cli/src/playground.html index e4d02ed5..daa1ade9 100644 --- a/crates/cli/src/playground.html +++ b/crates/cli/src/playground.html @@ -83,9 +83,6 @@ - - diff --git a/docs/src/assets/js/playground.js b/docs/src/assets/js/playground.js index 73675f72..cebd7b52 100644 --- a/docs/src/assets/js/playground.js +++ b/docs/src/assets/js/playground.js @@ -487,12 +487,12 @@ window.initializePlayground = async (opts) => { const containerHeight = outputContainerScroll.clientHeight; const offset = treeRowHighlightedIndex * lineHeight; if (scrollTop > offset - 20) { - $(outputContainerScroll).animate({ scrollTop: offset - 20 }, 150); + outputContainerScroll.scrollTo({ top: offset - 20, behavior: 'smooth' }); } else if (scrollTop < offset + lineHeight + 40 - containerHeight) { - $(outputContainerScroll).animate( - { scrollTop: offset - containerHeight + 40 }, - 150, - ); + outputContainerScroll.scrollTo({ + top: offset - containerHeight + 40, + behavior: 'smooth' + }); } } }