/*
.directive-section-nav.prev::before {
	content: "« "
}
.directive-section-nav.next::after {
	content: " »"
}

*/
ul.directive-list > li > ul {
	margin-bottom: .5em;
}