@import url('https://fonts.googleapis.com/css2?family=Ubuntu&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Ubuntu+Mono&display=swap');

body {
	font-family: 'Ubuntu', sans-serif;
}

pre {
	font-family: 'Ubuntu Mono', monospace;
}

main.container {
	margin-top: 60px;
}

td.nav-link a {
	color: black;
	text-decoration: none;
}

td.nav-link a[href] {
	display: inline-block;
	width: 100%;
}

td.nav-link:hover {
	background-color: #E6E6E6;
}

td.nav-link.active {
	background-color: #B3B3B3 !important;
	color: #FFFFFF;
}