/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
.ase1 { font-size: 1.2em; color: rgb(255,255,255); background-color: rgb(5,154,255); padding: 2pt;}