mirror of
1
Fork 0
forgejo/web_src/less
wxiaoguang 0141d1667d
Fix broken Chroma CSS styles (#23174)
The CSS styles in Gitea themes are out-of-sync of Chroma's styles.

This PR introduces a `chroma-style-diff.go` tool to compare the diff.
The missing CSS styles have been added manually. They are left as empty
to reduce arguments because there was no color for them before.

And this PR fixes #22348, with just 2 lines changed: `.chroma .kt & .n`,
these colors are taken from GitHub.

It's good enough for #22348


![image](https://user-images.githubusercontent.com/2114189/221551941-0d27d11d-e71e-498f-8e88-92b558fe4a18.png)

---------

Co-authored-by: silverwind <me@silverwind.io>
2023-03-09 22:16:16 -05:00
..
chroma Fix broken Chroma CSS styles (#23174) 2023-03-09 22:16:16 -05: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 Fix various ImageDiff/SVG bugs (#23312) 2023-03-07 20:11:24 +08:00
markup Change style to improve whitespaces trimming inside inline markdown code (#23093) 2023-02-23 20:57:03 +08: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 Fix broken Chroma CSS styles (#23174) 2023-03-09 22:16:16 -05:00
_admin.less Webhook list enhancements (#21893) 2022-11-22 07:10:42 +08:00
_base.less Fix code wrap for unbroken lines (#23268) 2023-03-03 23:48:59 -05: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 and move "Use this template" button (#23398) 2023-03-09 22:14:45 -05: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 Fix and move "Use this template" button (#23398) 2023-03-09 22:14:45 -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