annotate etc/schema/xhtml-xstyle.rnc @ 97475:2ac804a70140

(completion-base-size): Doc fix.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 14 Aug 2008 23:44:29 +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*