--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DTDs/HighlightingStyles-6.0.dtd Sat Mar 16 14:11:43 2019 +0100 @@ -0,0 +1,23 @@ +<!-- This is the DTD for eric6's highlighting styles file version 6.0 --> + +<!ELEMENT Description (#PCDATA)> + +<!ELEMENT Words (#PCDATA)> + +<!ELEMENT Style (Description, + Words?)> +<!ATTLIST Style + style CDATA #REQUIRED + substyle CDATA #REQUIRED + color CDATA #REQUIRED + paper CDATA #REQUIRED + font CDATA #REQUIRED + eolfill CDATA #REQUIRED> + +<!ELEMENT Lexer (Style+)> +<!ATTLIST Lexer + name CDATA #REQUIRED> + +<!ELEMENT HighlightingStyles (Lexer+)> +<!ATTLIST HighlightingStyles + version CDATA #REQUIRED>