1 | # $Id: pdf-theme-UserManual.yaml 105821 2024-08-22 15:09:03Z 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: 'Noto Sans'
|
---|
20 | serif: 'Noto Serif'
|
---|
21 | monospaced: 'DejaVu Sans Mono'
|
---|
22 | # ^^^ - Important to have proper unicode monospace font so we can use non-breaking hyphen (U+2011)
|
---|
23 | # in syntax diagrams.
|
---|
24 | #
|
---|
25 | # If the PDF contains any use of font "Helvetica" then it might be that the topic nesting is too deep.
|
---|
26 | # Maximum nesting is 4 (not sure what limits it), but all config for h5 is ignored.
|
---|
27 |
|
---|
28 | page:
|
---|
29 | size: PA4
|
---|
30 | mirror-margins: true
|
---|
31 |
|
---|
32 | header:
|
---|
33 | color: $brand-color-secondary
|
---|
34 | display-align: before
|
---|
35 | end-indent: 10mm
|
---|
36 | font-family: $pdf2-font-sans
|
---|
37 | padding-after: 6pt
|
---|
38 | padding-before: 12pt
|
---|
39 | start-indent: 10mm
|
---|
40 | odd:
|
---|
41 | content: '{chapter}'
|
---|
42 | text-align: end
|
---|
43 | even:
|
---|
44 | content: '{title}'
|
---|
45 | text-align: start
|
---|
46 |
|
---|
47 | footer:
|
---|
48 | color: $brand-color-secondary
|
---|
49 | end-indent: 10mm
|
---|
50 | font-family: $pdf2-font-sans
|
---|
51 | padding-after: 12pt
|
---|
52 | padding-before: 6pt
|
---|
53 | start-indent: 10mm
|
---|
54 | odd:
|
---|
55 | content: '{folio}'
|
---|
56 | font-weight: bold
|
---|
57 | text-align: end
|
---|
58 | even:
|
---|
59 | content: '{folio}'
|
---|
60 | font-weight: bold
|
---|
61 | text-align: start
|
---|
62 |
|
---|
63 | style:
|
---|
64 | body:
|
---|
65 | font-family: $pdf2-font-serif
|
---|
66 | font-size: 11pt
|
---|
67 | line-height: 1.3
|
---|
68 | start-indent: 48pt
|
---|
69 |
|
---|
70 | cmdname:
|
---|
71 | color: $brand-color-primary
|
---|
72 | font-family: $pdf2-font-monospaced
|
---|
73 | font-weight: bold
|
---|
74 |
|
---|
75 | codeblock:
|
---|
76 | background-color: $brand-color-inverse
|
---|
77 | border: solid 1pt $brand-color-tertiary
|
---|
78 | font-family: $pdf2-font-monospaced
|
---|
79 | font-size: 8pt
|
---|
80 | keep-together.within-page: always
|
---|
81 | space-after: 8pt
|
---|
82 |
|
---|
83 | codeph:
|
---|
84 | color: $brand-color-secondary
|
---|
85 | font-family: $pdf2-font-monospaced
|
---|
86 | font-size: '0.9 * from-parent(font-size)'
|
---|
87 |
|
---|
88 | cover:
|
---|
89 | background-image: en_US/images/vboxlogo.svg
|
---|
90 | background-repeat: no-repeat
|
---|
91 | background-position-horizontal: center
|
---|
92 |
|
---|
93 | cover-title:
|
---|
94 | color: $brand-color-primary
|
---|
95 | font-family: $pdf2-font-sans
|
---|
96 | font-size: 48pt
|
---|
97 | font-weight: bold
|
---|
98 | line-height: 1.3
|
---|
99 | space-before: 165mm
|
---|
100 |
|
---|
101 | example-title:
|
---|
102 | color: $brand-color-secondary
|
---|
103 |
|
---|
104 | fig:
|
---|
105 | caption:
|
---|
106 | color: $brand-color-secondary
|
---|
107 | font-family: $pdf2-font-sans
|
---|
108 | font-size: 9pt
|
---|
109 | font-style: italic
|
---|
110 | font-weight: normal
|
---|
111 |
|
---|
112 | filepath:
|
---|
113 | color: $brand-color-secondary
|
---|
114 | font-family: $pdf2-font-monospaced
|
---|
115 |
|
---|
116 | h1:
|
---|
117 | border-after: solid 2pt $brand-color-inverse
|
---|
118 | color: $brand-color-primary
|
---|
119 | font-family: $pdf2-font-sans
|
---|
120 | font-size: 18pt
|
---|
121 | font-weight: bold
|
---|
122 | space-before: 0pt
|
---|
123 | padding-top: 0pt
|
---|
124 | space-after: 9pt
|
---|
125 | title-numbering: true
|
---|
126 |
|
---|
127 | h2:
|
---|
128 | border-after: solid 1pt $brand-color-inverse
|
---|
129 | color: $brand-color-primary
|
---|
130 | font-family: $pdf2-font-sans
|
---|
131 | font-size: 16pt
|
---|
132 | font-style: italic
|
---|
133 | space-before: 16pt
|
---|
134 | space-after: 8pt
|
---|
135 | title-numbering: true
|
---|
136 |
|
---|
137 | h3:
|
---|
138 | color: $brand-color-primary
|
---|
139 | font-family: $pdf2-font-sans
|
---|
140 | font-size: 14pt
|
---|
141 | font-weight: bold
|
---|
142 | space-before: 21pt
|
---|
143 | space-after: 7pt
|
---|
144 | title-numbering: true
|
---|
145 |
|
---|
146 | h4:
|
---|
147 | color: $brand-color-primary
|
---|
148 | font-family: $pdf2-font-sans
|
---|
149 | font-size: 12pt
|
---|
150 | font-weight: bold
|
---|
151 | font-style: italic
|
---|
152 | space-before: 15pt
|
---|
153 | start-indent: 'from-parent(start-indent)'
|
---|
154 | title-numbering: true
|
---|
155 |
|
---|
156 | link:
|
---|
157 | color: $brand-color-links
|
---|
158 | font-style: italic
|
---|
159 |
|
---|
160 | note:
|
---|
161 | background-color: $brand-color-note-background-info
|
---|
162 | border: solid 1pt $brand-color-tertiary
|
---|
163 | keep-together.within-page: always
|
---|
164 | label:
|
---|
165 | font-family: $pdf2-font-sans
|
---|
166 | space-end: 2pt
|
---|
167 | padding-start: 6pt
|
---|
168 | start-indent: '6pt + from-parent(start-indent)'
|
---|
169 | padding-end: 6pt
|
---|
170 | end-indent: '6pt + from-parent(end-indent)'
|
---|
171 | space-before: 6pt
|
---|
172 | space-after: 12pt
|
---|
173 | attention:
|
---|
174 | background-color: $brand-color-note-background-attention
|
---|
175 | caution:
|
---|
176 | background-color: $brand-color-note-background-caution
|
---|
177 | important:
|
---|
178 | background-color: $brand-color-note-background-attention
|
---|
179 | notice:
|
---|
180 | background-color: $brand-color-note-background-attention
|
---|
181 | restriction:
|
---|
182 | background-color: $brand-color-note-background-attention
|
---|
183 | tip:
|
---|
184 | background-color: $brand-color-note-background-tip
|
---|
185 | warning:
|
---|
186 | background-color: $brand-color-note-background-caution
|
---|
187 |
|
---|
188 | section-title:
|
---|
189 | color: $brand-color-secondary
|
---|
190 | font-family: $pdf2-font-sans
|
---|
191 |
|
---|
192 | shortdesc:
|
---|
193 | color: $brand-color-secondary
|
---|
194 | line-height: 1.3
|
---|
195 |
|
---|
196 | table:
|
---|
197 | caption:
|
---|
198 | color: $brand-color-secondary
|
---|
199 | font-family: $pdf2-font-sans
|
---|
200 | font-size: 9pt
|
---|
201 | font-style: italic
|
---|
202 | font-weight: normal
|
---|
203 | font-family: $pdf2-font-sans
|
---|
204 | font-size: 9pt
|
---|
205 | header:
|
---|
206 | background-color: $brand-color-inverse
|
---|
207 | font-family: $pdf2-font-monospaced # Hack for arrow glyphs
|
---|
208 |
|
---|
209 | toc-1:
|
---|
210 | color: $brand-color-primary
|
---|
211 | font-family: $pdf2-font-sans
|
---|
212 | space-before: 6pt
|
---|
213 | start-indent: 0pt
|
---|
214 |
|
---|
215 | toc-2:
|
---|
216 | color: black
|
---|
217 | space-before: 4pt
|
---|
218 | start-indent: 12pt
|
---|
219 |
|
---|
220 | toc-3:
|
---|
221 | color: black
|
---|
222 | space-before: 2pt
|
---|
223 | start-indent: 32pt
|
---|
224 |
|
---|
225 | toc-4:
|
---|
226 | color: black
|
---|
227 | space-before: 2pt
|
---|
228 | start-indent: 48pt
|
---|
229 |
|
---|
230 | varname:
|
---|
231 | color: $brand-color-secondary
|
---|
232 | font-family: $pdf2-font-monospaced
|
---|
233 | font-style: italic
|
---|
234 |
|
---|
235 |
|
---|
236 | #
|
---|
237 | # The following properties requires an pdf-generator git newer than February 2023,
|
---|
238 | # or version 0.6.2+ (unreleased).
|
---|
239 | #
|
---|
240 |
|
---|
241 | # We need to specify the font for each of these elements, so we get a consistent
|
---|
242 | # monospace font capable of doing non-breaking hyphen glyps. The default "Courier"
|
---|
243 | # does not do the job, at least not on Windows.
|
---|
244 | delim:
|
---|
245 | font-family: $pdf2-font-monospaced
|
---|
246 | groupchoice:
|
---|
247 | font-family: $pdf2-font-monospaced
|
---|
248 | groupcomp:
|
---|
249 | font-family: $pdf2-font-monospaced
|
---|
250 | groupseq:
|
---|
251 | font-family: $pdf2-font-monospaced
|
---|
252 | kwd:
|
---|
253 | font-family: $pdf2-font-monospaced
|
---|
254 | oper:
|
---|
255 | font-family: $pdf2-font-monospaced
|
---|
256 | repsep:
|
---|
257 | font-family: $pdf2-font-monospaced
|
---|
258 | sep:
|
---|
259 | font-family: $pdf2-font-monospaced
|
---|
260 | syntaxdiagram:
|
---|
261 | font-family: $pdf2-font-monospaced
|
---|
262 | font-size: 10pt # Needed for long unbreakable synopsis bits
|
---|
263 | start-indent: '1cm + from-parent(start-indent)'
|
---|
264 | text-indent: -1cm
|
---|
265 | keep-together.within-page: always
|
---|
266 | var:
|
---|
267 | font-family: $pdf2-font-monospaced
|
---|
268 | pre:
|
---|
269 | font-family: $pdf2-font-monospaced
|
---|
270 | font-size: 9pt # Needed for 80 column
|
---|
271 | userinput:
|
---|
272 | font-family: $pdf2-font-monospaced
|
---|
273 | font-size: 10pt # More line length without annoying line breaks
|
---|
274 | screen:
|
---|
275 | font-family: $pdf2-font-monospaced
|
---|
276 | font-size: 10pt # More line length without annoying line breaks
|
---|
277 | systemoutput:
|
---|
278 | font-family: $pdf2-font-monospaced
|
---|
279 | font-size: 10pt # More line length without annoying line breaks
|
---|
280 |
|
---|
281 |
|
---|
282 | # Prevent a parameter and it's definition from ending up on different pages.
|
---|
283 | plentry:
|
---|
284 | keep-together.within-page: always
|
---|
285 |
|
---|