body {
	background-color: #333333;
}
.defotxt {font-size: small; line-height: 1.4em;}
.strong_red {
	color: #990000;
	font-weight: bold;
}