diff options
Diffstat (limited to 'skins/dtd/globals.dtd')
-rw-r--r-- | skins/dtd/globals.dtd | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/skins/dtd/globals.dtd b/skins/dtd/globals.dtd new file mode 100644 index 0000000..570fa15 --- /dev/null +++ b/skins/dtd/globals.dtd @@ -0,0 +1,29 @@ +<?xml encoding="UTF-8"?>
+
+<!ELEMENT globals (colors,variables,translations,fonts)>
+<!ELEMENT colors (color)*>
+<!ELEMENT variables (var)*>
+<!ELEMENT translations (token)*>
+<!ELEMENT fonts (font)*>
+
+<!ELEMENT color (#PCDATA)>
+<!ATTLIST color
+ name NMTOKEN #REQUIRED>
+
+<!ELEMENT var (#PCDATA)>
+<!ATTLIST var
+ name NMTOKEN #REQUIRED
+ type (int|string) #REQUIRED>
+
+<!ELEMENT token (trans)+>
+<!ATTLIST token
+ name CDATA #REQUIRED>
+
+<!ELEMENT trans (#PCDATA)>
+<!ATTLIST trans
+ lang NMTOKEN #REQUIRED>
+
+<!ELEMENT font (#PCDATA)>
+<!ATTLIST font
+ name NMTOKEN #REQUIRED>
+
|