div.variablelist dt {
	margin-top: 1em;
}