]> matita.cs.unibo.it Git - helm.git/blob - helm/style/config/style-configuration.dtd
a2470d67e14c6689077d3ea59002c1dd612ee77b
[helm.git] / helm / style / config / style-configuration.dtd
1 <?xml version="1.0" encoding="iso8859-1"?>
2
3 <!ELEMENT style-configuration (style*,apply*)>
4
5 <!ELEMENT style (#PCDATA)>
6 <!ATTLIST style key CDATA #IMPLIED>
7
8 <!ELEMENT apply (style-ref*)>
9 <!ATTLIST apply name CDATA #REQUIRED>
10
11 <!ELEMENT style-ref EMPTY>
12 <!ATTLIST style-ref key CDATA #REQUIRED>
13