/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
.rot-strichel-oben { border-top: 2pt dotted rgb(225,9,31);}
 .rot-strichel-unten { border-bottom: 2pt dotted rgb(225,9,31);}