html.streams: allow div-css-style to use span-css-style.

flac
John Benediktsson 2020-02-25 12:30:51 -08:00 committed by Steve Ayerhart
parent 68d5fc5388
commit 69d6f7ccfb
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 3 additions and 2 deletions

View File

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