.border_red {
	BORDER-RIGHT: #FF0000 2pt dotted; PADDING-RIGHT: 10pt; BORDER-TOP: #FF0000 2pt dotted; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; BORDER-LEFT: #FF0000 2pt dotted; PADDING-TOP: 10pt; BORDER-BOTTOM: #FF0000 2pt dotted
}

.border_green {
	BORDER-RIGHT: #009900 2pt dotted; PADDING-RIGHT: 10pt; BORDER-TOP: #009900 2pt dotted; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; BORDER-LEFT: #009900 2pt dotted; PADDING-TOP: 10pt; BORDER-BOTTOM: #009900 2pt dotted
}

.border_blue {
	BORDER-RIGHT: #000099 2pt dotted; PADDING-RIGHT: 10pt; BORDER-TOP: #000099 2pt dotted; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; BORDER-LEFT: #000099 2pt dotted; PADDING-TOP: 10pt; BORDER-BOTTOM: #000099 2pt dotted
}