body {
	color: #808080;
	font-family: "Courier", monospace;
	/*font-family: monospace;*/
	/*font-size: 13pt;*/
	background-color: #000000;
	margin-top: 12.5%;
}

b {
	color: #c0c0c0;
}

div {
	margin-left: auto;
	margin-right: auto;
	/*color: #ffa0ff;*/
	max-width: 512px;
	alignment-baseline: center;
}