leave search terms highlighted if user scrolls#13442

jtbayly wants to merge 1 commit intoquarto-dev:mainquarto-dev/quarto-cli:mainfrom

jtbayly:mainjtbayly/quarto-cli:mainCopy head branch name to clipboard