improve jump colors for github_dark themes (#10946)

5 months ago · afe9049a0e
parent bc73dd19d3
commit afe9049a0e
1 changed files with 1 additions and 0 deletions
--- a/runtime/themes/github_dark.toml
+++ b/runtime/themes/github_dark.toml
@ -61,6 +61,7 @@ label = "scale.red.3"
 "ui.text.inactive" = "fg.subtle"
 "ui.virtual" = { fg = "scale.gray.6" }
 "ui.virtual.ruler" = { bg = "canvas.subtle" }
+"ui.virtual.jump-label" = { fg = "scale.red.2", modifiers = ["bold"] }

 "ui.selection" = { bg = "scale.blue.8" }
 "ui.selection.primary" = { bg = "scale.blue.7" }