1 | font-mappings =
|
---|
2 | ## Mapping table from logical fonts and character sets to physical fonts.
|
---|
3 | element font-mappings {
|
---|
4 | font-table*
|
---|
5 | }
|
---|
6 | font-table =
|
---|
7 | ## Font mapping table
|
---|
8 | element font-table {
|
---|
9 | aliases*,
|
---|
10 | logical-font*
|
---|
11 | }
|
---|
12 | aliases =
|
---|
13 | ## Logical font aliases
|
---|
14 | element aliases {
|
---|
15 | alias*
|
---|
16 | }
|
---|
17 | alias =
|
---|
18 | ## Logical font alias
|
---|
19 | element alias {
|
---|
20 | ## Alias name
|
---|
21 | attribute name { text }?,
|
---|
22 | ## Logical font name
|
---|
23 | text
|
---|
24 | }
|
---|
25 | logical-font =
|
---|
26 | ## Logical font mapping
|
---|
27 | element logical-font {
|
---|
28 | ## Logical font name
|
---|
29 | attribute name { text }?,
|
---|
30 | physical-font*
|
---|
31 | }
|
---|
32 | physical-font =
|
---|
33 | ## Physical font
|
---|
34 | element physical-font {
|
---|
35 | ## Character set name
|
---|
36 | attribute char-set { text | "default" }?,
|
---|
37 | font-face,
|
---|
38 | baseline-shift?,
|
---|
39 | override-size?
|
---|
40 | }
|
---|
41 | font-face =
|
---|
42 | ## Physical font name
|
---|
43 | element font-face { text }
|
---|
44 | baseline-shift =
|
---|
45 | ## Baseline shift adjustment
|
---|
46 | element baseline-shift { text }
|
---|
47 | override-size =
|
---|
48 | ## Font size adjustment
|
---|
49 | element override-size { text }
|
---|
50 |
|
---|
51 | start = font-mappings
|
---|