body, table {
	padding: 3%;
}

.small {
	font-size: 0.85em;
}

.muted {
	color: #999;
}

tr.main {
	cursor: pointer;
}

.highlighted {
	background-color: #f0f0f0;
}

tr.dettaglio {
	display: none;
}

input.instant-search {
	--pico-spacing: 2rem;
}