Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/themes/penumbra+.toml')
| -rw-r--r-- | runtime/themes/penumbra+.toml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/runtime/themes/penumbra+.toml b/runtime/themes/penumbra+.toml index 728a8090..79059832 100644 --- a/runtime/themes/penumbra+.toml +++ b/runtime/themes/penumbra+.toml @@ -43,12 +43,7 @@ info = "sky" warning = "yellow" error = "red" -"diagnostic.hint".underline = { color = "sky-", style = "curl" } -"diagnostic.info".underline = { color = "sky", style = "curl" } -"diagnostic.warning".underline = { color = "yellow", style = "curl" } -"diagnostic.error".underline = { color = "red", style = "curl" } -"diagnostic.unnecessary" = { modifiers = ["dim"] } -"diagnostic.deprecated" = { modifiers = ["crossed_out"] } +diagnostic = { modifiers = ["underlined"] } "ui.background" = { bg = "shade" } "ui.background.separator" = "sky" @@ -97,7 +92,6 @@ error = "red" "markup.list" = "sky" "markup.bold" = { modifiers = ["bold"] } "markup.italic" = { modifiers = ["italic"] } -"markup.strikethrough" = { modifiers = ["crossed_out"] } "markup.link.url" = { modifiers = ["underlined"] } "markup.link.text" = "magenta" "markup.quote" = "green" |