body {
	background-color:lightgray;
	user-select: none;
}
.button_div:hover {
	background-color:darkgray;
}
.button:hover,.button_div:hover {
	cursor:pointer;
	font-weight:bold;
}