2006-03-24 13:19:14 -05:00
|
|
|
! Copyright (C) 2005, 2006 Slava Pestov.
|
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2005-12-19 02:12:40 -05:00
|
|
|
IN: help
|
|
|
|
USING: styles ;
|
|
|
|
|
2005-12-19 23:18:15 -05:00
|
|
|
: default-style
|
|
|
|
H{
|
2006-01-20 01:26:50 -05:00
|
|
|
{ font "sans-serif" }
|
2005-12-19 23:18:15 -05:00
|
|
|
{ font-size 12 }
|
|
|
|
{ wrap-margin 500 }
|
|
|
|
} ;
|
|
|
|
|
2006-01-13 20:13:14 -05:00
|
|
|
: link-style
|
|
|
|
H{ { foreground { 0.3 0 0 1 } } { font-style bold } } ;
|
|
|
|
|
2005-12-19 23:18:15 -05:00
|
|
|
: emphasis-style
|
|
|
|
H{ { font-style italic } } ;
|
2005-12-19 02:12:40 -05:00
|
|
|
|
2006-01-20 01:26:50 -05:00
|
|
|
: heading-style H{ { font "serif" } { font-size 16 } } ;
|
2005-12-19 02:12:40 -05:00
|
|
|
|
2006-01-20 01:26:50 -05:00
|
|
|
: subheading-style H{ { font "serif" } { font-style bold } } ;
|
2005-12-19 02:12:40 -05:00
|
|
|
|
2005-12-31 20:51:58 -05:00
|
|
|
: subsection-style
|
2006-01-20 01:26:50 -05:00
|
|
|
H{ { font "serif" } { font-size 14 } { font-style bold } } ;
|
2005-12-31 20:51:58 -05:00
|
|
|
|
2005-12-28 20:25:17 -05:00
|
|
|
: snippet-style
|
2005-12-19 02:12:40 -05:00
|
|
|
H{
|
2006-01-20 01:26:50 -05:00
|
|
|
{ font "monospace" }
|
2006-01-02 00:51:03 -05:00
|
|
|
{ foreground { 0.3 0.3 0.3 1 } }
|
2005-12-19 02:12:40 -05:00
|
|
|
} ;
|
|
|
|
|
|
|
|
: code-style
|
|
|
|
H{
|
2006-01-20 01:26:50 -05:00
|
|
|
{ font "monospace" }
|
2006-01-07 16:03:31 -05:00
|
|
|
{ page-color { 0.9 0.9 1 0.5 } }
|
2005-12-19 02:12:40 -05:00
|
|
|
{ border-width 5 }
|
2005-12-19 23:18:15 -05:00
|
|
|
{ wrap-margin f }
|
2005-12-19 02:12:40 -05:00
|
|
|
} ;
|
2005-12-22 21:44:15 -05:00
|
|
|
|
2006-01-02 01:04:02 -05:00
|
|
|
: input-style
|
|
|
|
H{ { font-style bold } } ;
|
|
|
|
|
2005-12-22 21:44:15 -05:00
|
|
|
: url-style
|
|
|
|
H{
|
2006-01-20 01:26:50 -05:00
|
|
|
{ font "monospace" }
|
2005-12-22 21:44:15 -05:00
|
|
|
{ foreground { 0.0 0.0 1.0 1.0 } }
|
|
|
|
} ;
|
2006-01-06 02:04:42 -05:00
|
|
|
|
|
|
|
: warning-style
|
|
|
|
H{
|
|
|
|
{ page-color { 0.95 0.95 0.95 1 } }
|
|
|
|
{ border-color { 1 0 0 1 } }
|
|
|
|
{ border-width 5 }
|
|
|
|
} ;
|
2006-01-21 02:37:39 -05:00
|
|
|
|
|
|
|
: list-element-style
|
|
|
|
H{ { border-color { 0.8 0.8 0.8 1 } } { border-width 5 } } ;
|