/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
.Hoch_normal { font-size: 8pt; vertical-align: super;}