/*
 * Nav tools menu.
 */
div#nav-tools {
	background:		#999;
	height:			1.5em;
	padding:		0.2em;
}
div#nav-tools form,
div#nav-tools ul {
	float:			right;
	margin-right:	0.5em;
	margin-bottom:	0;
}
div#nav-tools li,
div#nav-tools input {
	font-size:		smaller;
	margin-right:	0;
}
div#nav-tools li {
	display:		inline;
}