annotate etc/schema/xhtml-xstyle.rnc @ 112353:71904feb29f6

Improve performance on non-GCC hosts with __aligned__.
author Paul Eggert <eggert@cs.ucla.edu>
date Mon, 17 Jan 2011 20:55:12 -0800
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*