]> gitweb.factorcode.org Git - factor.git/commitdiff
help.stylesheet: use table-border-color instead of line-color.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Oct 2016 16:24:15 +0000 (09:24 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Oct 2016 16:24:15 +0000 (09:24 -0700)
basis/help/stylesheet/stylesheet.factor

index fe5a6984b8ba0f471faf5ba21ebdeec9ac9b3092..fdc7b64364ea7521539b3e068f18c046104604f3 100644 (file)
@@ -135,7 +135,7 @@ H{
 SYMBOL: table-style
 H{
     { table-gap { 5 5 } }
-    { table-border $ line-color }
+    { table-border $ table-border-color }
 } table-style set-global
 
 SYMBOL: list-style