teidata.outputMeasurement
teidata.outputMeasurement definisce una gamma di valori da impiegare nello specificare le dimensioni di un oggetto da inserire in rete | |
Modulo | tei — The TEI Infrastructure |
Usato da | |
Content model | <content> |
Dichiarazione | <rng:define name="teidata.outputMeasurement">
teidata.outputMeasurement =
token
{
pattern = "[\-+]?\d+(\.\d+)?(%|cm|mm|in|pt|pc|px|em|ex|gd|rem|vw|vh|vm)"
} |
Esempio | <figure> <head>The TEI Logo</head> <figDesc>Stylized yellow angle brackets with the letters <mentioned>TEI</mentioned> in between and <mentioned>text encoding initiative</mentioned> underneath, all on a white background.</figDesc> <graphic height="600px" width="600px" url="http://www.tei-c.org/logos/TEI-600.jpg"/> </figure> |