From 50e0e7bed87061567573ce005448df3639911c7d Mon Sep 17 00:00:00 2001
From: Vince Mutolo <vlmutolo@me.com>
Date: Sat, 20 Aug 2022 20:26:22 -0400
Subject: [PATCH] add penumbra+ theme (#3398)

Co-authored-by: Vince Mutolo <vince@mutolo.org>
---
 runtime/themes/penumbra+.toml | 122 ++++++++++++++++++++++++++++++++++
 1 file changed, 122 insertions(+)
 create mode 100644 runtime/themes/penumbra+.toml

diff --git a/runtime/themes/penumbra+.toml b/runtime/themes/penumbra+.toml
new file mode 100644
index 0000000000000..c3ae56dbd3772
--- /dev/null
+++ b/runtime/themes/penumbra+.toml
@@ -0,0 +1,122 @@
+##########
+# SYNTAX #
+##########
+
+comment = "sky-"
+
+type = "green"
+"type.enum.variant" = "green"
+label = "blue"
+tag = "blue"
+
+constant = "purple"
+"constant.numeric" = "cyan"
+"constant.character" = "purple"
+
+string = "yellow"
+"string.special.symbol" = "cyan"
+"string.special.path" = "cyan"
+
+variable = "sky"
+"variable.builtin" = "red"
+
+keyword = "magenta"
+
+function = "blue"
+"function.macro" = "purple"
+
+punctuation = "sky"
+operator = "magenta"
+namespace = "sky"
+
+"diff.plus" = "green"
+"diff.minus" = "red"
+"diff.delta" = "cyan"
+
+
+##########
+#   UI   #
+##########
+
+hint = "sky-"
+info = "sky"
+warning = "yellow"
+error = "red"
+
+diagnostic = { modifiers = ["underlined"] }
+
+"ui.background" = "sky+"
+"ui.background.separator" = "sky"
+
+"ui.cursor" = { modifiers = ["reversed"] }
+"ui.cursor.match" = { bg = "shade+" }
+
+"ui.cursorline.primary" = { bg = "shade-" }
+# "ui.cursorline.secondary" = { bg = "shade+" }
+
+"ui.linenr" = "sky-"
+"ui.linenr.selected" = "sky"
+
+# Using themed status line:
+"ui.statusline" = { fg = "shade", bg = "sky" }
+"ui.statusline.inactive" = { fg = "sky", bg = "shade+" }
+"ui.statusline.normal" = { fg = "shade", bg = "blue" }
+"ui.statusline.insert" = { fg = "shade", bg = "green" }
+"ui.statusline.select" = { fg = "shade", bg = "purple" }
+
+# Without themed status line:
+# "ui.statusline" = { fg = "shade-", bg = "blue" }
+# "ui.statusline.inactive" = { fg = "sky", bg = "shade+" }
+
+"ui.popup" = { bg = "shade-" }
+"ui.popup.info" = { bg = "shade" }
+
+"ui.window" = "sky"
+"ui.help" = "sky"
+
+"ui.text" = "sky"
+"ui.text.focus" = "blue"
+"ui.text.info" = "sky"
+
+"ui.virtual.ruler" = { bg = "shade+" }
+"ui.virtual.whitespace" = "sky-"
+"ui.virtual.indent-guide" = "shade+"
+
+"ui.menu" = { fg = "sky", bg = "shade-" }
+"ui.menu.selected" = { fg = "blue", modifiers = ["bold"] }
+"ui.menu.scroll" = { fg = "sky", bg = "shade+" }
+
+"ui.selection" = { bg = "shade+" }
+
+"markup.heading" = { fg = "sky+", modifiers = ["bold"] }
+"markup.list" = "sky"
+"markup.bold" = { modifiers = ["bold"] }
+"markup.italic" = { modifiers = ["italic"] }
+"markup.link.url" = { modifiers = ["underlined"] }
+"markup.link.text" = "magenta"
+"markup.quote" = "green"
+"markup.raw" = "orange"
+
+
+[palette]
+
+# contrast+ accents
+red = "#DF7F78"
+orange = "#CE9042"
+yellow = "#9CA748"
+green = "#50B584"
+cyan = "#00B3C2"
+blue = "#61A3E6"
+purple = "#A48FE1"
+magenta = "#D080B6"
+
+# contrast+ base
+"sun+" = "#FFFDFB"
+"sun" = "#FFF7ED"
+"sun-" = "#F2E6D4"
+"sky+" = "#CECECE"
+"sky" = "#9E9E9E"
+"sky-" = "#636363"
+"shade+" = "#3E4044"
+"shade" = "#24272B"
+"shade-" = "#181B1F"
\ No newline at end of file