label {
	display: inline-block;
	width: 8em;
}
button, input {
	font-size: 10pt;
	border: 1px;
	border-style: solid;
	border-radius: 2px;
	height: 1.6em;
	padding-top: 2px;
	margin: 0.2em;
}
button {
	box-shadow: 2px 2px 2px 0px #333;
	border-color: #ddd;
}
input {
	background-color: #fff;
	border-color: #bbb;
}
form, h4 {
	display: inline-block;
}

div.cookies {
	font-size: 7pt;
}
span.tools {
	float: right;
}
