pre {
	font-family: "Courier New", Courier, monospace;
	line-height: 75%;
	font-size: 0.75em;
}

div.zcounter {
	color: white;
	border: groove;
	padding: 1ex;
	position: absolute;
	top: 0;
}