Platzhalter ersetzen 2013-06-28 Herbert Schiemann h.schiemann@herbaer.de style-Elemente können den Inhalt einer CSS-Datei enthalten, die mittels xi:include eingebunden ist. Diese kann Platzhalter enthalten, die durch den Wert des Parameters p_styleprf ersetzt werden. Unnötige Leerzeichen entfernen Vorlage txt.replacelist Präfix für Stil-Dateien Platzhalter im eingebundenen Text in style-Elementen werden ersetzt. tm:* - Attribute werden entfernt