div#devProfile {
	width: 80%;
	margin: 0 auto 1em auto;
	text-align: left;
}

div#devProfile > div > span:first-child {
	color: #444;
	display: inline-block;
	width: 8em;
}

div#devProfile > div > span:last-child a {
	color: #008;
}

section#ctrlpanel {
	min-height: 0.4em;
}

div#devsort, div#devmenu {
	top: 0;
}
