html {
	font: normal 
}

.tool-button {
	border: 1px solid black;
	border-radius: 7px;
	text-align: center;
	padding-top: 10px;
	padding-bottom: 10px;
	font-size: 130%;
	background-color: #cef;
}

.tool-form-item dd {
	margin-bottom: 10px;
}

.close-button {
	float: right;
	padding: 3px;
}