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

.latin {
	/*intended for multiple languages using latin characters*/
	/*if anything needs custom behavior, do a separate style*/
	font-family: "Courier", monospace;
	color: #808080;
}

@font-face {
	font-family: "arabicfont";
	src: url(KawkabMono-Regular.ttf) format('opentype');
}

.arabic {
	font-family: 'Courier', 'arabicfont', sans-serif;
	color: #808080;
	font-size: 13pt;

	/*for right to left order*/
	direction: rtl; 
}

.russian {
	font-family: "Courier new", monospace;
	color: #808000;
}

b {
	color: #c0c0c0;
}

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

.error {
	color: #800000;
}