2005-12-19 02:12:40 -05:00
|
|
|
IN: help
|
|
|
|
USING: styles ;
|
|
|
|
|
2005-12-19 23:18:15 -05:00
|
|
|
: default-style
|
|
|
|
H{
|
|
|
|
{ font "Sans Serif" }
|
|
|
|
{ font-size 12 }
|
|
|
|
{ wrap-margin 500 }
|
|
|
|
} ;
|
|
|
|
|
|
|
|
: emphasis-style
|
|
|
|
H{ { font-style italic } } ;
|
2005-12-19 02:12:40 -05:00
|
|
|
|
|
|
|
: heading-style H{ { font "Serif" } { font-size 24 } } ;
|
|
|
|
|
|
|
|
: subheading-style H{ { font "Serif" } { font-size 18 } } ;
|
|
|
|
|
2005-12-19 23:18:15 -05:00
|
|
|
: parameter-style
|
2005-12-19 02:12:40 -05:00
|
|
|
H{
|
2005-12-19 23:18:15 -05:00
|
|
|
{ font "Monospaced" }
|
|
|
|
{ font-size 12 }
|
|
|
|
{ font-style italic }
|
2005-12-19 02:12:40 -05:00
|
|
|
} ;
|
|
|
|
|
|
|
|
: code-style
|
|
|
|
H{
|
|
|
|
{ font "Monospaced" }
|
|
|
|
{ font-size 12 }
|
|
|
|
{ page-color { 0.9 0.9 0.9 1 } }
|
|
|
|
{ border-color { 0.95 0.95 0.95 1 } }
|
|
|
|
{ border-width 5 }
|
2005-12-19 23:18:15 -05:00
|
|
|
{ wrap-margin f }
|
2005-12-19 02:12:40 -05:00
|
|
|
} ;
|