.rightsidedotted {
	border-right-width: 1px;
	border-right-style: dotted;
	border-right-color: #003399;
}