.version-info {
	margin-left: 5em;
	margin-right: 5em;
	border-style: solid;
	border-width: 2px;
	padding: 4px 4px 4px 4px;
	font-family: serif;
	font-size: 100%;
}