From 7e7653eaff84b3985006602a54a3f0430935a6dc Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Fri, 1 Aug 2008 15:11:42 -0500 Subject: [PATCH] io.styles: Use color objects --- basis/io/styles/styles.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/io/styles/styles.factor b/basis/io/styles/styles.factor index 14827dc7a6..4f0b3ce7e1 100644 --- a/basis/io/styles/styles.factor +++ b/basis/io/styles/styles.factor @@ -33,7 +33,7 @@ SYMBOL: table-border : standard-table-style ( -- style ) H{ { table-gap { 5 5 } } - { table-border { 0.8 0.8 0.8 1.0 } } + { table-border T{ rgba f 0.8 0.8 0.8 1.0 } } } ; ! Input history