VirtualBox

source: vbox/trunk/doc/manual/pdf-theme-UserManual.yaml@ 106165

Last change on this file since 106165 was 105821, checked in by vboxsync, 3 months ago

doc/manual: Use new VirtualBox logo in SVG format with 2.5x base size for User Guide (the other docbook based docs still use the PNG because getting SVG working in pdflatex is non-trivial and can be a high hurdle for others). bugref:10724

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 8.8 KB
Line 
1# $Id: pdf-theme-UserManual.yaml 105821 2024-08-22 15:09:03Z vboxsync $
2
3brand:
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
17pdf2:
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
28page:
29 size: PA4
30 mirror-margins: true
31
32header:
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
47footer:
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
63style:
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
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette