/*
 * Last changes - Dr. Peter Voigt - 2018-10-07
 */

pre {
	overflow-x : auto;
}

pre code {
	overflow-wrap : normal;
	white-space : pre;
	/* font-family : monospace; */
}

footer {
	font-style : italic;
	text-align: center;
}