/* $HTMLStylesFmt overrides */
.diffbox {
	width: 500px;
	border: 1px #999999 solid;
	margin-top: 1.33em;
}