#edit-keys-wrapper {
	display : none;
}

dd p {
	margin: 0 0 0 0;
}

span.highlight {
	background-color : #cccccc;
}