Yarden Shoham 8adc6a188e

Fix height for sticky head on large screen on PR page (#23111) (#23124) ...

Backport #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">

---------

Co-authored-by: HesterG <hestergong@gmail.com>
Co-authored-by: Andrew Thornton <art27@cantab.net>

2023-02-24 16:35:59 +00:00

..

fomantic

Various CSS tweaks (#21244)

2022-09-22 22:00:29 -05:00

js

Add force_merge to merge request and fix checking mergable (#23010) (#23032)

2023-02-21 09:42:22 -06:00

less

Fix height for sticky head on large screen on PR page (#23111) (#23124)

2023-02-24 16:35:59 +00:00

svg

Add support for Vagrant packages (#20930)

2022-08-29 15:04:45 +08:00