fix(web): make right panel tabs easier to scroll (#9461)

Co-authored-by: maria-rcks <254055478+maria-rcks@users.noreply.github.com>
46e8b1a23amaria committed on 9/3/2026, 7:09:54 PM· committed by GitHubparentd5825e1
1 file changedLine totals unavailable