Fixes apropos header colour bug, Changes help path border

diff --git a/basis/ui/theme/base16/base16.factor b/basis/ui/theme/base16/base16.factor
index 8f5410cf90de175a2078d26ad65c66837094ca68..8fbcba779df82cd1526d26458c5e12fbe3f6de63 100644 (file)
--- a/basis/ui/theme/base16/base16.factor
+++ b/basis/ui/theme/base16/base16.factor
@@ -77,7 +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 help-path-border-color "base0F" named-base16 ;
+M: base16-theme help-path-border-color "base00" named-base16 ;
 
 M: base16-theme tip-background-color "base01" named-base16 ;
 

diff --git a/basis/ui/theme/switching/switching.factor b/basis/ui/theme/switching/switching.factor
index 847d5734583881fdf3df8587dcb965af975e8736..282fc33a2c8fc862318882b9f916d7a9081971e4 100644 (file)
--- a/basis/ui/theme/switching/switching.factor
+++ b/basis/ui/theme/switching/switching.factor
@@ -19,6 +19,7 @@ IN: ui.theme.switching
     default-style text-color foreground update-style
     link-style link-color foreground update-style
     title-style title-color foreground update-style
+    title-style help-header-background page-color update-style
     help-path-style help-path-border-color table-border update-style
     heading-style heading-color foreground update-style
     snippet-style snippet-color foreground update-style