/* CSS-Definitionsdatei, die Site-weite Stylesheets enthält */
.Navigationsleiste { font-family: 'Times New Roman', Times, Serif, serif; font-size: medium;}