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
..
chroma
code
codemirror
console
features
markup
modules
shared
standalone
themes
_admin.less
_base.less
_dashboard.less
_editor.less
_explore.less
_font_i18n.less
_form.less
_home.less
_install.less
_organization.less
_package.less
_repository.less
_review.less
_runner.less
_svg.less
_tribute.less
_user.less
animations.less
helpers.less
index.less
variables.less