| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  | ! Copyright (C) 2005, 2009 Slava Pestov. | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | ! See http://factorcode.org/license.txt for BSD license. | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  | USING: io.styles namespaces colors colors.constants ;
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | IN: help.stylesheet | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-03-07 03:28:45 -05:00
										 |  |  | SYMBOL: default-span-style | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "sans-serif" } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-size 12 } | 
					
						
							|  |  |  |     { font-style plain } | 
					
						
							| 
									
										
										
										
											2008-03-07 03:28:45 -05:00
										 |  |  | } default-span-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: default-block-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { wrap-margin 500 } | 
					
						
							| 
									
										
										
										
											2008-03-07 03:28:45 -05:00
										 |  |  | } default-block-style set-global
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: link-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { foreground COLOR: dark-blue } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-style bold } | 
					
						
							|  |  |  | } link-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: emphasis-style | 
					
						
							|  |  |  | H{ { font-style italic } } emphasis-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: strong-style | 
					
						
							|  |  |  | H{ { font-style bold } } strong-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: title-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "sans-serif" } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-size 18 } | 
					
						
							|  |  |  |     { font-style bold } | 
					
						
							|  |  |  |     { wrap-margin 500 } | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { page-color COLOR: light-gray } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { border-width 5 } | 
					
						
							|  |  |  | } title-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: help-path-style | 
					
						
							|  |  |  | H{ { font-size 10 } } help-path-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: heading-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "sans-serif" } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-size 16 } | 
					
						
							|  |  |  |     { font-style bold } | 
					
						
							|  |  |  | } heading-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: subsection-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "sans-serif" } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-size 14 } | 
					
						
							|  |  |  |     { font-style bold } | 
					
						
							|  |  |  | } subsection-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: snippet-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "monospace" } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { font-size 12 } | 
					
						
							| 
									
										
										
										
											2009-02-07 19:05:24 -05:00
										 |  |  |     { foreground COLOR: navy-blue } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | } snippet-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: code-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { page-color COLOR: gray80 } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { border-width 5 } | 
					
						
							|  |  |  |     { wrap-margin f } | 
					
						
							|  |  |  | } code-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: input-style | 
					
						
							|  |  |  | H{ { font-style bold } } input-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: url-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-01-26 17:25:57 -05:00
										 |  |  |     { font-name "monospace" } | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { foreground COLOR: blue } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | } url-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: warning-style | 
					
						
							|  |  |  | H{ | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { page-color COLOR: gray90 } | 
					
						
							|  |  |  |     { border-color COLOR: red } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  |     { border-width 5 } | 
					
						
							| 
									
										
										
										
											2008-03-18 18:46:25 -04:00
										 |  |  |     { wrap-margin 500 } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | } warning-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: table-content-style | 
					
						
							|  |  |  | H{ | 
					
						
							|  |  |  |     { wrap-margin 350 } | 
					
						
							|  |  |  | } table-content-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: table-style | 
					
						
							|  |  |  | H{ | 
					
						
							|  |  |  |     { table-gap { 5 5 } } | 
					
						
							| 
									
										
										
										
											2009-02-05 23:17:15 -05:00
										 |  |  |     { table-border COLOR: light-gray } | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | } table-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: list-style | 
					
						
							|  |  |  | H{ { table-gap { 10 2 } } } list-style set-global
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | SYMBOL: bullet | 
					
						
							| 
									
										
										
										
											2009-02-04 01:51:47 -05:00
										 |  |  | "• " bullet set-global
 |