From c1251aecc75d9a28121373d2ac8c6ce81c9ed56d Mon Sep 17 00:00:00 2001
From: Gregory Oakes <2153080+gcoakes@users.noreply.github.com>
Date: Sun, 27 Feb 2022 00:39:44 -0600
Subject: [PATCH] Fix duplicate "ui.help" key. (#1713)

---
 runtime/themes/base16_terminal.toml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/runtime/themes/base16_terminal.toml b/runtime/themes/base16_terminal.toml
index 8038f9d8..a6ca71da 100644
--- a/runtime/themes/base16_terminal.toml
+++ b/runtime/themes/base16_terminal.toml
@@ -28,7 +28,6 @@
 "keyword" = "light-magenta"
 "label" = "light-magenta"
 "namespace" = "light-magenta"
-"ui.help" = { fg = "white", bg = "black" }
 
 "markup.heading" = "light-blue"
 "markup.list" = "light-red"