1 | # $Id: pdf-theme-UserManual.yaml 99270 2023-04-03 22:52:21Z vboxsync $
|
---|
2 |
|
---|
3 | brand:
|
---|
4 | color:
|
---|
5 | primary: '#1a3355'
|
---|
6 | secondary: '#6d767e'
|
---|
7 | tertiary: '#b9c7d0'
|
---|
8 | inverse: '#e5ebeb'
|
---|
9 | links: '#4169e1'
|
---|
10 | note:
|
---|
11 | background:
|
---|
12 | attention: '#fff3ce'
|
---|
13 | caution: '#f8d8db'
|
---|
14 | info: '#dbe5f1'
|
---|
15 | tip: '#d0e8de'
|
---|
16 |
|
---|
17 | pdf2:
|
---|
18 | font:
|
---|
19 | sans: 'Helvetica, Arial Unicode MS, Tahoma, Batang, SimSun'
|
---|
20 | serif: 'Times New Roman, Times, Arial Unicode MS, Tahoma, Batang, SimSun'
|
---|
21 | monospaced: 'DejaVu Sans Mono, Arial Unicode MS, Consolas, Cascadia Mono'
|
---|
22 | # ^^^ - Important to have proper unicode monospace font so we can use non-breaking hypen (U+2011)
|
---|
23 | # in syntax diagrams.
|
---|
24 |
|
---|
25 | page:
|
---|
26 | size: PA4
|
---|
27 | mirror-margins: true
|
---|
28 |
|
---|
29 | header:
|
---|
30 | color: $brand-color-secondary
|
---|
31 | display-align: before
|
---|
32 | end-indent: 10mm
|
---|
33 | font-family: $pdf2-font-sans
|
---|
34 | padding-after: 6pt
|
---|
35 | padding-before: 12pt
|
---|
36 | start-indent: 10mm
|
---|
37 | odd:
|
---|
38 | content: '{chapter}'
|
---|
39 | text-align: end
|
---|
40 | even:
|
---|
41 | content: '{title}'
|
---|
42 | text-align: start
|
---|
43 |
|
---|
44 | footer:
|
---|
45 | color: $brand-color-secondary
|
---|
46 | end-indent: 10mm
|
---|
47 | font-family: $pdf2-font-sans
|
---|
48 | padding-after: 12pt
|
---|
49 | padding-before: 6pt
|
---|
50 | start-indent: 10mm
|
---|
51 | odd:
|
---|
52 | content: '{folio}'
|
---|
53 | font-weight: bold
|
---|
54 | text-align: end
|
---|
55 | even:
|
---|
56 | content: '{folio}'
|
---|
57 | font-weight: bold
|
---|
58 | text-align: start
|
---|
59 |
|
---|
60 | style:
|
---|
61 | body:
|
---|
62 | font-family: $pdf2-font-serif
|
---|
63 | font-size: 11pt
|
---|
64 | line-height: 1.3
|
---|
65 | start-indent: 48pt
|
---|
66 |
|
---|
67 | cmdname:
|
---|
68 | color: $brand-color-primary
|
---|
69 | font-weight: bold
|
---|
70 |
|
---|
71 | codeblock:
|
---|
72 | background-color: $brand-color-inverse
|
---|
73 | border: solid 1pt $brand-color-tertiary
|
---|
74 | font-family: $pdf2-font-monospaced
|
---|
75 | font-size: 8pt
|
---|
76 | keep-together.within-page: always
|
---|
77 | space-after: 8pt
|
---|
78 |
|
---|
79 | codeph:
|
---|
80 | color: $brand-color-secondary
|
---|
81 | font-size: '0.9 * from-parent(font-size)'
|
---|
82 |
|
---|
83 | cover:
|
---|
84 | # TODO: Could we get an SVG logo? Or at least a higher resolution one (this is 512x512, I think).
|
---|
85 | background-image: en_US/images/vboxlogo.png
|
---|
86 | background-repeat: no-repeat
|
---|
87 |
|
---|
88 | cover-title:
|
---|
89 | color: $brand-color-primary
|
---|
90 | font-size: 36pt
|
---|
91 | font-weight: bold
|
---|
92 | line-height: 1.5
|
---|
93 | space-before: 195mm
|
---|
94 |
|
---|
95 | example-title:
|
---|
96 | color: $brand-color-secondary
|
---|
97 |
|
---|
98 | fig:
|
---|
99 | caption:
|
---|
100 | color: $brand-color-secondary
|
---|
101 | font-size: 9pt
|
---|
102 | font-style: italic
|
---|
103 | font-weight: normal
|
---|
104 |
|
---|
105 | filepath:
|
---|
106 | color: $brand-color-secondary
|
---|
107 |
|
---|
108 | h1:
|
---|
109 | border-after: solid 2pt $brand-color-inverse
|
---|
110 | color: $brand-color-primary
|
---|
111 | font-size: 18pt
|
---|
112 | space-before: 0pt
|
---|
113 | padding-top: 0pt
|
---|
114 | space-after: 9pt
|
---|
115 | font-weight: bold
|
---|
116 | title-numbering: true
|
---|
117 |
|
---|
118 | h2:
|
---|
119 | border-after: solid 1pt $brand-color-inverse
|
---|
120 | color: $brand-color-primary
|
---|
121 | font-size: 16pt
|
---|
122 | font-style: italic
|
---|
123 | space-before: 16pt
|
---|
124 | space-after: 8pt
|
---|
125 | title-numbering: true
|
---|
126 |
|
---|
127 | h3:
|
---|
128 | color: $brand-color-primary
|
---|
129 | font-size: 14pt
|
---|
130 | font-weight: bold
|
---|
131 | space-before: 21pt
|
---|
132 | space-after: 7pt
|
---|
133 | title-numbering: true
|
---|
134 |
|
---|
135 | h4:
|
---|
136 | font-size: 12pt
|
---|
137 | font-style: italic
|
---|
138 | space-before: 12pt
|
---|
139 | title-numbering: false
|
---|
140 |
|
---|
141 | link:
|
---|
142 | color: $brand-color-links
|
---|
143 | font-style: italic
|
---|
144 |
|
---|
145 | note:
|
---|
146 | background-color: $brand-color-note-background-info
|
---|
147 | border: solid 1pt $brand-color-tertiary
|
---|
148 | keep-together.within-page: always
|
---|
149 | label:
|
---|
150 | font-family: $pdf2-font-sans
|
---|
151 | space-end: 2pt
|
---|
152 | padding-start: 6pt
|
---|
153 | start-indent: '6pt + from-parent(start-indent)'
|
---|
154 | padding-end: 6pt
|
---|
155 | end-indent: '6pt + from-parent(end-indent)'
|
---|
156 | space-before: 6pt
|
---|
157 | space-after: 12pt
|
---|
158 | attention:
|
---|
159 | background-color: $brand-color-note-background-attention
|
---|
160 | caution:
|
---|
161 | background-color: $brand-color-note-background-caution
|
---|
162 | important:
|
---|
163 | background-color: $brand-color-note-background-attention
|
---|
164 | notice:
|
---|
165 | background-color: $brand-color-note-background-attention
|
---|
166 | restriction:
|
---|
167 | background-color: $brand-color-note-background-attention
|
---|
168 | tip:
|
---|
169 | background-color: $brand-color-note-background-tip
|
---|
170 | warning:
|
---|
171 | background-color: $brand-color-note-background-caution
|
---|
172 |
|
---|
173 | section-title:
|
---|
174 | color: $brand-color-secondary
|
---|
175 |
|
---|
176 | shortdesc:
|
---|
177 | color: $brand-color-secondary
|
---|
178 | font-size: 13pt
|
---|
179 | line-height: 1.3
|
---|
180 |
|
---|
181 | table:
|
---|
182 | caption:
|
---|
183 | color: $brand-color-secondary
|
---|
184 | font-size: 9pt
|
---|
185 | font-style: italic
|
---|
186 | font-weight: normal
|
---|
187 | font-family: $pdf2-font-sans
|
---|
188 | font-size: 9pt
|
---|
189 | header:
|
---|
190 | background-color: $brand-color-inverse
|
---|
191 |
|
---|
192 | toc-1:
|
---|
193 | color: $brand-color-primary
|
---|
194 | font-family: $pdf2-font-sans
|
---|
195 | start-indent: 0
|
---|
196 |
|
---|
197 | toc-2:
|
---|
198 | color: black
|
---|
199 | space-before: 4pt
|
---|
200 | start-indent: 5pt
|
---|
201 |
|
---|
202 | toc-3:
|
---|
203 | color: black
|
---|
204 | space-before: 2pt
|
---|
205 | start-indent: 24pt
|
---|
206 |
|
---|
207 | toc-4:
|
---|
208 | color: black
|
---|
209 | space-before: 2pt
|
---|
210 | start-indent: 40pt
|
---|
211 |
|
---|
212 | varname:
|
---|
213 | color: $brand-color-secondary
|
---|
214 | font-style: italic
|
---|
215 |
|
---|
216 |
|
---|
217 | # The following properties requires an pdf-generator git newer than February 2023,
|
---|
218 | # or version 0.6.2+ (unreleased).
|
---|
219 | #
|
---|
220 | # We need to specify the font for each of these elements, so we get a monospace
|
---|
221 | # font capable of doing non-breaking hypen glyps. The default "Courier" does do
|
---|
222 | # that, at least not on Windows.
|
---|
223 | delim:
|
---|
224 | font-family: $pdf2-font-monospaced
|
---|
225 | groupchoice:
|
---|
226 | font-family: $pdf2-font-monospaced
|
---|
227 | groupcomp:
|
---|
228 | font-family: $pdf2-font-monospaced
|
---|
229 | groupseq:
|
---|
230 | font-family: $pdf2-font-monospaced
|
---|
231 | kwd:
|
---|
232 | font-family: $pdf2-font-monospaced
|
---|
233 | oper:
|
---|
234 | font-family: $pdf2-font-monospaced
|
---|
235 | repsep:
|
---|
236 | font-family: $pdf2-font-monospaced
|
---|
237 | sep:
|
---|
238 | font-family: $pdf2-font-monospaced
|
---|
239 | syntaxdiagram:
|
---|
240 | font-family: $pdf2-font-monospaced
|
---|
241 | start-indent: '1cm + from-parent(start-indent)'
|
---|
242 | text-indent: -1cm
|
---|
243 | keep-together.within-page: always
|
---|
244 | var:
|
---|
245 | font-family: $pdf2-font-monospaced
|
---|
246 |
|
---|