.border {
	border-top-width: thick;
	border-right-width: thick;
	border-bottom-width: thick;
	border-left-width: thick;
	border-top-style: double;
	border-right-style: double;
	border-bottom-style: double;
	border-left-style: double;
	border-top-color: #303;
	border-right-color: #960;
	border-bottom-color: #960;
	border-left-color: #303;
}