/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
.Plaza { border: 3px solid rgb(0,0,128);}