.imageborder2 {
	border: 3px dashed;
	border-color: #FF0000;
}
.imageborder3 {
	border: 8px dashed;
	border-color: #FF0000;
}
.highlighted {	
background-color: #FFFF46;
}
.imageborder4 {
	border: 8px dashed;
	border-color: #003399;
}