div.borderred {
	border: 1px dotted #CCCCCC;
	}