body {
	hyphens: auto;
}
header nav a:hover {
	background-color: whitesmoke;
}
a {
	text-decoration: none;
}


label:hover,
nav a:hover,
.viewRow:hover,
#tag .row:hover {
	background-color: whitesmoke;
}

.disabled {
	pointer-events: auto;
}
.disabled:active {
	pointer-events: none;
}
input[type="checkbox"],
input[type="radio"] {
	border: 2px solid #00313c;
}

/* override default CI/CD styles */

.container + .container {
	margin-top: 0 !important;
}
.btn + .btn {
	margin-left: 0 !important;
}