div#about {
	-webkit-user-select: text;
	-moz-user-select: text;
	user-select: text;
}

div#about td.version {
	font-weight: bold;
}

div#about p {
	font-family: monospace;
	padding: 0 10px 0 10px;
}