/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */

PRE {
	text-align: center;
 	border: 3pt dotted rgb(255,255,204);
 	margin-top: 20px;
 	padding-top: 1px
}