body {
	font-family: sans-serif;
	font-size: 12pt;
	margin: 0;
}

#sitename {
	margin: 2pt 4pt;
	font-size: 24pt;
}

#sitename a {
	text-decoration: none;
}

#sidebar {
	margin: 2px 0;
}

#sidebar form {
	display: inline;
	margin: 0 4pt;
}

#sidebar a {
	padding: 0 2pt;
}

#content {
	padding: 1em 0.5em;
}

#quickmenu hr {
	display: none;
}

#quickmenu input {
	font-size: 20pt;
	width: auto;
}

.quickresult {
	margin: 4pt;
}

.quickresult a {
	font-size: 20pt;
}