.style1 {font-size: 12px}
.border {
	width: auto;
	border-top-width: thin;
	border-right-width: thick;
	border-bottom-width: thick;
	border-left-width: thin;
	border-top-style: groove;
	border-right-style: ridge;
	border-bottom-style: ridge;
	border-left-style: groove;
}