.portalPath {
	font-weight: bold;
	display: inline-block;
	border-width: 1px;
	border-bottom-style: dotted;
}
.portalHead {
	font-weight: bold;
}

/* Only needed for the index pages, but harmless to have everywhere here. */
ul {
	margin-top: 0.1em;
}