d20b29d7ce
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"> |
||
---|---|---|
.. | ||
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 |