ui.theme: remove vocab-background-color and vocab-border-color

[factor.git] / basis / ui / theme / base16 / base16.factor

diff --git a/basis/ui/theme/base16/base16.factor b/basis/ui/theme/base16/base16.factor
index ab3d424e2fa960f92e1451b3a219129d8420f769..3bf6b1a97bb3c14562775707a491ee11aa734f0c 100644 (file)
--- a/basis/ui/theme/base16/base16.factor
+++ b/basis/ui/theme/base16/base16.factor
@@ -89,9 +89,6 @@ M: base16-theme highlighted-word-color "base04" named-base16 ;
 M: base16-theme string-color "base0A" named-base16 ;
 M: base16-theme stack-effect-color "base04" named-base16 ;
 
-M: base16-theme vocab-background-color "base00" named-base16 ;
-M: base16-theme vocab-border-color "base00" named-base16 ;
-
 M: base16-theme field-border-color "base00" named-base16 ;
 
 M: base16-theme editor-caret-color "base06" named-base16 ;