HesterG d20b29d7ce Fix height for sticky head on large screen on PR page (#23111) ... Right now on the PR 'File Change' Tab, the file title header sticky to the top on large screens has wrong height, resulting in wrong ui behavior when scrolling down. This PR is to fix this. Before: <img width="964" alt="截屏2023-02-24 17 12 29" src="https://user-images.githubusercontent.com/17645053/221140409-025c4a84-6bbe-4b5b-a13f-bd2b79063522.png"> After: <img width="1430" alt="截屏2023-02-24 21 10 12" src="https://user-images.githubusercontent.com/17645053/221186750-0344d652-4610-4a90-a4c0-7f6269f950d6.png">		2023-02-24 14:29:49 +00:00
..
fomantic	…
js	Require approval to run actions for fork pull request (#22803)	2023-02-24 15:58:49 +08:00
less	Fix height for sticky head on large screen on PR page (#23111)	2023-02-24 14:29:49 +00:00
svg	…