From 417e296d46a80eeadcdbfcc06b017ccb3f86fbb9 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sat, 22 Oct 2016 09:24:15 -0700
Subject: [PATCH] help.stylesheet: use table-border-color instead of
 line-color.

---
 basis/help/stylesheet/stylesheet.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/help/stylesheet/stylesheet.factor b/basis/help/stylesheet/stylesheet.factor
index fe5a6984b8..fdc7b64364 100644
--- a/basis/help/stylesheet/stylesheet.factor
+++ b/basis/help/stylesheet/stylesheet.factor
@@ -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