/* Reconstructed generic stylesheet — reservation / detail widgets.
   Original /rsstyl.css was not preserved in the archive; clean minimal rebuild
   keyed to the class vocabulary (rs_*, opening hours, form links) in the pages. */

.rs_label { font-weight: bold; color: #002f6c; }

.formlink {
	display: inline-block;
	padding: 4px 10px;
	background-color: #dfedff;
	border: 1px solid #9fbfe8;
	color: #00002f;
	border-radius: 3px;
}
.formlink:hover { background-color: #cfe2ff; text-decoration: none; }

/* --- Opening hours --- */
.openinghours_container { margin: 8px 0; }
.openinghours { border-collapse: collapse; }
.openinghour, .openingday, .openinghours_fromto { padding: 2px 8px; }
.openingday { font-weight: bold; }
.openinghours_fromto { color: #333; }