annotate etc/schema/xhtml-xstyle.rnc @ 97398:fe058c1304c6

*** empty log message ***
author John Paul Wallington <jpw@pobox.com>
date Sun, 10 Aug 2008 03:53:09 +0000
parents 55a95acb5aa1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
87298
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # Style Module
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 style = element style { style.attlist, text }
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 style.attlist =
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 title.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 I18n.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 attribute type { ContentType.datatype },
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 attribute media { MediaDesc.datatype }?,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 attribute xml:space { "preserve" }?
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 head.content &= style*