2
firstTemplate: coverPage
15
[VALIGN, [0, 0], [-1, -1], TOP]
36
attribute: parent: bodytext
48
class: parent: bodytext
54
borderPadding: [6, 0, 0, 4]
58
confval: parent: bodytext
59
data: parent: bodytext
60
desc: {parent: bodytext, spaceBefore: 6}
61
descclassname: {fontName: stdMono, parent: literal}
62
descname: {fontName: stdMonoBold, parent: literal}
63
descparameter: {fontName: stdMono, parent: literal}
64
desctype: {fontName: stdMono, parent: literal}
65
directive: parent: bodytext
66
exception: parent: bodytext
70
borderPadding: [6, 0, 0, 10]
79
heading1: fontSize: 200%
80
heading2: fontSize: 160%
81
heading3: fontSize: 140%
82
heading4: fontSize: 120%
83
heading5: fontSize: 110%
84
heading6: fontSize: 100%
88
[VALIGN, [0, 0], [-1, -1], TOP]
93
method: {fontName: stdSansBold, parent: bodytext}
99
optional: {fontName: stdMonoBold, parent: literal}
100
pygments-bp: {parent: code, textColor: #007020}
101
pygments-c: {parent: code, textColor: #808080}
102
pygments-c1: {parent: code, textColor: #808080}
103
pygments-cm: {parent: code, textColor: #808080}
104
pygments-cp: {parent: code, textColor: #507090}
106
fontName: stdMonoBold
115
pygments-gd: {parent: code, textColor: #A00000}
116
pygments-ge: {fontName: stdMonoItalic, parent: code}
118
fontName: stdMonoBold
122
pygments-gi: {parent: code, textColor: #00A000}
123
pygments-go: {parent: code, textColor: #808080}
125
fontName: stdMonoBold
129
pygments-gr: {parent: code, textColor: #FF0000}
130
pygments-gs: {fontName: stdMonoBold, parent: code}
131
pygments-gt: {parent: code, textColor: #0040D0}
133
fontName: stdMonoBold
137
pygments-hll: {backColor: #ffffcc, parent: code}
139
fontName: stdMonoBold
144
fontName: stdMonoBold
149
fontName: stdMonoBold
154
fontName: stdMonoBold
159
fontName: stdMonoBold
164
fontName: stdMonoBold
169
fontName: stdMonoBold
174
fontName: stdMonoBold
179
fontName: stdMonoBold
184
fontName: stdMonoBold
189
fontName: stdMonoBold
194
fontName: stdMonoBold
199
fontName: stdMonoBold
203
pygments-n-Identifier: parent: code
204
pygments-na: {parent: code, textColor: #0000C0}
205
pygments-nb: {parent: code, textColor: #007020}
207
fontName: stdMonoBold
212
fontName: stdMonoBold
217
fontName: stdMonoBold
222
fontName: stdMonoBold
227
fontName: stdMonoBold
232
fontName: stdMonoBold
237
fontName: stdMonoBold
242
fontName: stdMonoBold
246
pygments-nt: {parent: code, textColor: #007000}
247
pygments-nv: {parent: code, textColor: #906030}
248
pygments-o: {parent: code, textColor: #303030}
250
fontName: stdMonoBold
254
pygments-s: {backColor: #fff0f0, parent: code}
255
pygments-s1: {backColor: #fff0f0, parent: code}
256
pygments-s2: {backColor: #fff0f0, parent: code}
257
pygments-sb: {backColor: #fff0f0, parent: code}
258
pygments-sc: {parent: code, textColor: #0040D0}
259
pygments-sd: {parent: code, textColor: #D04020}
262
fontName: stdMonoBold
266
pygments-sh: {backColor: #fff0f0, parent: code}
267
pygments-si: {backColor: #e0e0e0, parent: code}
273
pygments-ss: {parent: code, textColor: #A06000}
279
pygments-vc: {parent: code, textColor: #306090}
281
fontName: stdMonoBold
285
pygments-vi: {parent: code, textColor: #3030B0}
286
pygments-w: {parent: code, textColor: #bbbbbb}
287
returns: parent: bodytext
288
role: parent: bodytext
319
table-heading: {borderWidth: 0, parent: heading}
320
versionmodified: {fontName: stdItalic, parent: bodytext}
326
xref: {fontName: stdMonoBold, parent: code}