ui.theme: updates to color scheme.

[factor.git] / basis / help / stylesheet / stylesheet.factor

diff --git a/basis/help/stylesheet/stylesheet.factor b/basis/help/stylesheet/stylesheet.factor
index 2396d2e24a3b5607bf01e2f532e993efddcae811..fe5a6984b8ba0f471faf5ba21ebdeec9ac9b3092 100644 (file)
--- a/basis/help/stylesheet/stylesheet.factor
+++ b/basis/help/stylesheet/stylesheet.factor
@@ -108,12 +108,13 @@ H{
 SYMBOL: url-style
 H{
     { font-name $ default-monospace-font-name }
-    { foreground $ url-color }
+    { foreground $ link-color }
 } url-style set-global
 
 SYMBOL: warning-style
 H{
     { page-color $ warning-background-color }
+    { border-color $ warning-border-color }
     { inset { 5 5 } }
     { wrap-margin $ wrap-margin-full }
 } warning-style set-global
@@ -121,6 +122,7 @@ H{
 SYMBOL: deprecated-style
 H{
     { page-color $ warning-background-color }
+    { border-color $ warning-border-color }
     { inset { 5 5 } }
     { wrap-margin $ wrap-margin-full }
 } deprecated-style set-global