summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc56
1 files changed, 56 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc
new file mode 100644
index 00000000000..68c7f48c1a3
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/schema/rnc/LaTeXML/svg-style.rnc
@@ -0,0 +1,56 @@
+default namespace = "http://www.w3.org/2000/svg"
+namespace a = "http://relaxng.org/ns/compatibility/annotations/1.0"
+
+
+##
+## SVG 1.1 Style Module
+## file: svg-style.rng
+##
+## This is SVG, a language for describing two-dimensional graphics in XML.
+## Copyright 2001, 2002 W3C (MIT, INRIA, Keio), All Rights Reserved.
+##
+## $Id: svg-style.rng,v 1.1 2003/07/15 07:11:10 dean Exp $
+##
+
+##
+## Style
+##
+## style
+##
+## This module declares markup to provide support for stylesheet.
+##
+
+##
+## Datatypes
+##
+[ xml:lang = "en" ]
+grammar {
+ ClassList.datatype = xsd:NMTOKENS
+ StyleSheet.datatype = xsd:string
+
+ ##
+ ## comma-separated list of media descriptors.
+ ##
+ MediaDesc.datatype = xsd:string
+ a:documentation [ "\x{a}" ~ " SVG.Style.attrib\x{a}" ~ " " ]
+ SVG.Style.extra.attrib = empty
+ SVG.Style.attrib &=
+ attribute style { StyleSheet.datatype }?,
+ attribute class { ClassList.datatype }?,
+ SVG.Style.extra.attrib
+ a:documentation [ "\x{a}" ~ " SVG.Style.class\x{a}" ~ " " ]
+ SVG.Style.extra.class = notAllowed
+ SVG.Style.class |= style | SVG.Style.extra.class
+ a:documentation [ "\x{a}" ~ " style: Style Element\x{a}" ~ " " ]
+ SVG.style.content = text
+ style = element style { attlist.style, SVG.style.content }
+ attlist.style &=
+ [ a:defaultValue = "preserve" ] attribute xml:space { "preserve" }?,
+ SVG.id.attrib,
+ SVG.base.attrib,
+ SVG.lang.attrib,
+ SVG.Core.extra.attrib,
+ attribute type { ContentType.datatype },
+ attribute media { MediaDesc.datatype }?,
+ attribute title { Text.datatype }?
+}