change the default border color of a button in html code example

div {
	border-bottom-color: coral;
}