help.html: cleanup extra spaces.
							parent
							
								
									74d8e43312
								
							
						
					
					
						commit
						ba3f342bf1
					
				| 
						 | 
				
			
			@ -94,7 +94,7 @@ M: pathname url-of
 | 
			
		|||
 | 
			
		||||
: css-classes ( classes -- stylesheet )
 | 
			
		||||
    [
 | 
			
		||||
        [ " { " " }" surround ] [ "." prepend ] bi* prepend
 | 
			
		||||
        [ " { " "}" surround ] [ "." prepend ] bi* prepend
 | 
			
		||||
    ] { } assoc>map "\n" join ;
 | 
			
		||||
 | 
			
		||||
:: css-styles-to-classes ( body -- stylesheet body )
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -121,7 +121,7 @@ CONSTANT: pre-css "white-space: pre; font-family: monospace;"
 | 
			
		|||
            { inset padding-css, }
 | 
			
		||||
        } make-css
 | 
			
		||||
    ] [ wrap-margin of [ pre-css append ] unless ] bi
 | 
			
		||||
    " display: inline-block;" append ;
 | 
			
		||||
    "display: inline-block; " append ;
 | 
			
		||||
 | 
			
		||||
: div-tag ( xml style -- xml' )
 | 
			
		||||
    div-css-style
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue