factor/basis/help/stylesheet/stylesheet.factor

104 lines
2.1 KiB
Factor
Raw Normal View History

! Copyright (C) 2005, 2009 Slava Pestov.
2007-09-20 18:09:08 -04:00
! See http://factorcode.org/license.txt for BSD license.
2008-08-01 15:32:47 -04:00
USING: io.styles namespaces colors ;
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{
{ 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{
2008-08-01 15:32:47 -04:00
{ foreground T{ rgba f 0 0 0.3 1 } }
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{
{ font-name "sans-serif" }
2007-09-20 18:09:08 -04:00
{ font-size 18 }
{ font-style bold }
{ wrap-margin 500 }
2008-08-01 15:32:47 -04:00
{ page-color T{ rgba f 0.8 0.8 0.8 1 } }
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{
{ 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{
{ 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{
{ font-name "monospace" }
2007-09-20 18:09:08 -04:00
{ font-size 12 }
2008-08-01 15:32:47 -04:00
{ foreground T{ rgba f 0.1 0.1 0.4 1 } }
2007-09-20 18:09:08 -04:00
} snippet-style set-global
SYMBOL: code-style
H{
2008-08-01 15:32:47 -04:00
{ page-color T{ rgba f 0.8 0.8 0.8 0.5 } }
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{
{ font-name "monospace" }
2008-08-01 15:32:47 -04:00
{ foreground T{ rgba f 0.0 0.0 1.0 1.0 } }
2007-09-20 18:09:08 -04:00
} url-style set-global
SYMBOL: warning-style
H{
2008-08-01 15:32:47 -04:00
{ page-color T{ rgba f 0.95 0.95 0.95 1 } }
{ border-color T{ rgba f 1 0 0 1 } }
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 } }
2008-08-01 15:32:47 -04:00
{ table-border T{ rgba f 0.8 0.8 0.8 1.0 } }
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
"- " bullet set-global