body	{ 
	background-color	:	#ffffff;
	margin-left		:	5px;
	margin-right	:	5px;
	margin-top		:	5px;
	margin-bottom	:	5px;
	font-family		:	courier;
	}
div	{ 
	color			: #000000;
	}
.red		{ color	: #ff0000; }
.green		{ color	: #009040; }
.yellow		{ color	: #ffff00; }
.blue		{ color	: #004090; }
.magenta	{ color	: #FF3399; }
.white		{ color	: #ffffff; }
.orange		{ color	: #d4a14a; }
.gray		{ color	: #555555; }
.black		{ color	: #000000; }
.bblack		{ color	: #000000;
	font-weight		: bold; }