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
3dd004c323Julius Marminge committed on 3/1/2026, 6:31:13 PM· committed by Julius Marmingeparent1af43db
1 file changedLine totals unavailable