| 1234567891011 |
- # Style Module
- style = element style { style.attlist, text }
- style.attlist =
- title.attrib,
- I18n.attrib,
- attribute type { ContentType.datatype },
- attribute media { MediaDesc.datatype }?,
- attribute xml:space { "preserve" }?
- head.content &= style*
|
