From 69d6f7ccfb798b7c6d0af5226d404ea134fbe3b6 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 25 Feb 2020 12:30:51 -0800
Subject: [PATCH] html.streams: allow div-css-style to use span-css-style.

---
 basis/html/streams/streams.factor | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/basis/html/streams/streams.factor b/basis/html/streams/streams.factor
index cf413dde11..d78839d874 100644
--- a/basis/html/streams/streams.factor
+++ b/basis/html/streams/streams.factor
@@ -114,14 +114,15 @@ M: html-span-stream dispose
 CONSTANT: pre-css "white-space: pre; font-family: monospace; "
 
 : div-css-style ( style -- str )
+    [ span-css-style ]
     [
         {
             { page-color bg-css, }
             { border-color border-css, }
             { inset padding-css, }
         } make-css
-    ] [ wrap-margin of [ pre-css append ] unless ] bi
-    "display: inline-block; " append ;
+    ] [ wrap-margin of [ pre-css append ] unless ] tri
+    "display: inline-block; " 3append ;
 
 : div-tag ( xml style -- xml' )
     div-css-style