.dotted {
	border: ridge #999999;
}