forgejo/web_src/less
Yarden Shoham 5beb29ad35
Fix height for sticky head on large screen on PR page (#23111) (#23123)
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>
2023-02-24 14:47:48 +00:00
..
chroma Improve arc-green code theme (#21039) 2022-09-03 23:24:18 +08:00
code Fix and restyle menu on code line (#15913) 2021-05-18 23:16:02 -04:00
codemirror Support Issue forms and PR forms (#20987) 2022-09-02 15:58:49 +08:00
console Add support for rendering terminal output with colors (#19497) 2022-06-09 00:46:39 +03:00
features Preview images for Issue cards in Project Board view (#22112) 2023-02-11 16:12:41 +08:00
markup Upgrade to stylelint 15 (#22944) 2023-02-21 09:23:45 -06:00
modules Upgrade to stylelint 15 (#22944) 2023-02-21 09:23:45 -06:00
shared Timeline and color tweaks (#21799) 2022-11-19 12:02:30 +08:00
standalone Update JS dependencies, fix lint (#18389) 2022-02-01 13:21:08 -05:00
themes Release and Tag List tweaks (#21712) 2022-12-06 21:15:46 +08:00
_admin.less Webhook list enhancements (#21893) 2022-11-22 07:10:42 +08:00
_base.less Upgrade to stylelint 15 (#22944) 2023-02-21 09:23:45 -06:00
_dashboard.less Fix margin and alignment in dashboard repolist (#22120) 2022-12-17 09:58:57 +08:00
_editor.less Improve PR Review Box UI (#22986) 2023-02-21 21:36:53 +08:00
_explore.less Fix avatar misalignment (#22955) 2023-02-20 07:07:46 +08:00
_font_i18n.less Upgrade to stylelint 15 (#22944) 2023-02-21 09:23:45 -06:00
_form.less Add new captcha: cloudflare turnstile (#22369) 2023-02-05 15:29:03 +08:00
_home.less fix media query edge case (#13546) 2020-11-17 00:33:19 -05:00
_install.less Move all remaining colors into CSS variables (#21903) 2022-11-23 08:22:27 +08:00
_organization.less Remove dashes between organization member avatars on hover (#23034) 2023-02-21 12:28:31 +01:00
_package.less Fix empty container layer history and UI (#21251) 2022-09-27 15:03:24 +02:00
_repository.less Fix height for sticky head on large screen on PR page (#23111) (#23123) 2023-02-24 14:47:48 +00:00
_review.less Upgrade to stylelint 15 (#22944) 2023-02-21 09:23:45 -06:00
_runner.less Move helpers to be prefixed with gt- (#22879) 2023-02-13 17:59:59 +00:00
_svg.less Update JS dependencies, fix lint (#18389) 2022-02-01 13:21:08 -05:00
_tribute.less CSS color enhancements (#21534) 2022-10-23 12:05:20 +08:00
_user.less Add badge capabilities to users (#20607) 2022-08-18 02:25:25 +03:00
animations.less Improvements for Content Copy (#21842) 2022-11-21 17:59:42 +08:00
helpers.less Use gt-relative class instead of the ambiguous gt-pr class (#23008) 2023-02-20 19:16:56 -05:00
index.less Remove _actions.less (#22885) 2023-02-13 08:33:33 -06:00
variables.less fix media query edge case (#13546) 2020-11-17 00:33:19 -05:00