.nav-links {
	text-align: center;
/*	margin-left: auto;
	margin-right: auto;*/
}

.nav-links .nav-link, .nav-links .nav-disabled {
	font-size: 120%;
	font-weight: bold;
	color: blue;
	margin-left: 0.6ex;
	margin-right: 0.6ex;
}

.nav-links a[href].nav-link:hover {
	text-decoration: none;
	color: red;
	font-weight: 900;
}

.nav-links .nav-disabled {
	color: grey;
}