/*Stand: 07.05.2014*/
span.inline.typ1{font-family:"DejaVuSerif","Palatino",serif;font-style:italic}
span.inline.typ3{display:none}
span.inline.typ15{display:none}