ui.theme.base16: adding code-border-color

diff --git a/basis/ui/theme/base16/base16.factor b/basis/ui/theme/base16/base16.factor
index 2b0231d33bcc9f6d6b80b6447d80e6e2469faebb..ab3d424e2fa960f92e1451b3a219129d8420f769 100644 (file)
--- a/basis/ui/theme/base16/base16.factor
+++ b/basis/ui/theme/base16/base16.factor
@@ -77,6 +77,7 @@ M: base16-theme deprecated-border-color "base01" named-base16 ;
 M: base16-theme warning-background-color "base01" named-base16 ;
 M: base16-theme warning-border-color "base01" named-base16 ;
 M: base16-theme code-background-color "base01" named-base16 ;
+M: base16-theme code-border-color "base01" named-base16 ;
 M: base16-theme help-path-border-color "base00" named-base16 ;
 
 M: base16-theme tip-background-color "base01" named-base16 ;