#navigator {
	margin-bottom: 3rem;
	padding: 0;
	line-height: 1.5em;
	border: var(--dimen-card-border-width) solid var(--color-hr);
	border-radius: var(--dimen-card-corner-radius);
}

#navigator > table {
	width: auto !important;
}
#navigator > table a {
	padding: 0.5rem 1rem;
}