Keep diff panel header sticky while scrolling

- Make the diffs header stick to the top of the panel
- Add header background and bottom border for readability
540e7a3995Julius Marminge committed on 3/1/2026, 7:28:38 AMparent1af43db
1 file changedLine totals unavailable