]> gitweb.factorcode.org Git - factor.git/blob - basis/help/stylesheet/stylesheet.factor
io.styles: renamed the 'border-width' style to 'inset'. inset takes a pair of 2 numbe...
[factor.git] / basis / help / stylesheet / stylesheet.factor
1 ! Copyright (C) 2005, 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: io.styles namespaces colors colors.constants ;
4 IN: help.stylesheet
5
6 SYMBOL: default-span-style
7 H{
8     { font-name "sans-serif" }
9     { font-size 12 }
10     { font-style plain }
11 } default-span-style set-global
12
13 SYMBOL: default-block-style
14 H{
15     { wrap-margin 500 }
16 } default-block-style set-global
17
18 SYMBOL: link-style
19 H{
20     { foreground COLOR: DodgerBlue4 }
21     { font-style bold }
22 } link-style set-global
23
24 SYMBOL: emphasis-style
25 H{ { font-style italic } } emphasis-style set-global
26
27 SYMBOL: strong-style
28 H{ { font-style bold } } strong-style set-global
29
30 SYMBOL: title-style
31 H{
32     { font-name "sans-serif" }
33     { font-size 20 }
34     { font-style bold }
35     { wrap-margin 500 }
36     { foreground COLOR: gray20 }
37     { page-color COLOR: FactorLightTan }
38     { inset { 5 5 } }
39 } title-style set-global
40
41 SYMBOL: help-path-style
42 H{ { font-size 10 } } help-path-style set-global
43
44 SYMBOL: heading-style
45 H{
46     { font-name "sans-serif" }
47     { font-size 16 }
48     { font-style bold }
49     { foreground COLOR: FactorDarkSlateBlue }
50 } heading-style set-global
51
52 SYMBOL: subsection-style
53 H{
54     { font-name "sans-serif" }
55     { font-size 14 }
56     { font-style bold }
57 } subsection-style set-global
58
59 SYMBOL: snippet-style
60 H{
61     { font-name "monospace" }
62     { font-size 12 }
63     { foreground COLOR: DarkOrange4 }
64 } snippet-style set-global
65
66 SYMBOL: code-char-style
67 H{
68     { font-name "monospace" }
69     { font-size 12 }
70 } code-char-style set-global
71
72 SYMBOL: code-style
73 H{
74     { page-color COLOR: FactorLightTan }
75     { inset { 5 5 } }
76     { wrap-margin f }
77 } code-style set-global
78
79 SYMBOL: input-style
80 H{ { font-style bold } } input-style set-global
81
82 SYMBOL: url-style
83 H{
84     { font-name "monospace" }
85     { foreground COLOR: DodgerBlue4 }
86 } url-style set-global
87
88 SYMBOL: warning-style
89 H{
90     { page-color COLOR: gray90 }
91     { border-color COLOR: red }
92     { inset { 5 5 } }
93     { wrap-margin 500 }
94 } warning-style set-global
95
96 SYMBOL: deprecated-style
97 H{
98     { page-color COLOR: gray90 }
99     { border-color COLOR: red }
100     { inset { 5 5 } }
101     { wrap-margin 500 }
102 } deprecated-style set-global
103
104 SYMBOL: table-content-style
105 H{
106     { wrap-margin 350 }
107 } table-content-style set-global
108
109 SYMBOL: table-style
110 H{
111     { table-gap { 5 5 } }
112     { table-border COLOR: FactorLightTan }
113 } table-style set-global
114
115 SYMBOL: list-style
116 H{ { table-gap { 10 2 } } } list-style set-global
117
118 SYMBOL: bullet
119 "• " bullet set-global