@@ -13,6 +13,7 @@
13"keyword.directive" = { fg = "blue2" }
13"keyword.directive" = { fg = "blue2" }
14"keyword.control" = { fg = "special" }
14"keyword.control" = { fg = "special" }
15"label" = { fg = "blue2" }
15"label" = { fg = "blue2" }
17"special" = { fg = "text" }
18"special" = { fg = "text" }
18"operator" = { fg = "text" }
19"operator" = { fg = "text" }
@@ -57,7 +58,8 @@
57"ui.window" = { bg = "widget" }
58"ui.window" = { bg = "widget" }
58"ui.popup" = { bg = "widget" }
59"ui.popup" = { bg = "widget" }
59"ui.help" = { bg = "widget" }
60"ui.help" = { bg = "widget" }
60−"ui.menu.selected" = { bg = "widget" }
61+"ui.menu" = { bg = "widget" }
62+"ui.menu.selected" = { bg = "dark_blue2" }
62# TODO: Alternate bg colour for `ui.cursor.match` and `ui.selection`.
64# TODO: Alternate bg colour for `ui.cursor.match` and `ui.selection`.
63"ui.cursor" = { fg = "cursor", modifiers = ["reversed"] }
65"ui.cursor" = { fg = "cursor", modifiers = ["reversed"] }
@@ -100,6 +102,7 @@ blue2 = "#569CD6"
100blue3 = "#6796E6"
102blue3 = "#6796E6"
101light_blue = "#75beff"
103light_blue = "#75beff"
102dark_blue = "#264f78"
104dark_blue = "#264f78"
105+dark_blue2 = "#094771"
103red = "#ff1212"
106red = "#ff1212"
105type = "#4EC9B0"
108type = "#4EC9B0"