/* Horario del parque: shortcodes de inc/horario.php. */

.cc-horario-hoy {
	font-weight: 700;
}

.cc-horario-hoy--cerrado {
	color: #a1402a;
}

.cc-horario {
	margin: 0;
}

.cc-horario > div {
	display: flex;
	justify-content: space-between;
	gap: 16px;
	padding: 6px 0;
	border-top: 1px solid currentColor;
	border-top-color: color-mix(in srgb, currentColor 20%, transparent);
}

.cc-horario > div:first-child {
	border-top: none;
}

.cc-horario dt,
.cc-horario dd {
	margin: 0;
}

.cc-horario dd {
	font-weight: 700;
	text-align: right;
}

.cc-horario__nota {
	margin-top: 8px;
	font-size: 0.9em;
}


.cc-panel .cc-horario__nota {
	margin: 12px 0 0;
	padding: 0;
	color: inherit;
	font-size: 0.95em;
	line-height: 1.5;
}