.plugins-list {
	margin: 1em .5em;
	padding: 0 .5em;
}

.plugins-list dt {
	font-weight: bold;
	margin-top: 1em;
}

.plugins-list dd {
	padding-left: 2em;
}