html {
	 /* For NumberFields: Suppress red background, when the value is not 0 mod step_size */
	--vaadin-input-field-invalid-background: --lumo-contrast-10pct
	/*--vaadin-button-primary-background: #293950;*/ 
	/*--vaadin-button-background: #293950; */
}

.os_header {
	text-align: left;
	background-color: #293950;
	padding: 20px;
	align-items: center;
}

.os_header_title {
	color: white;
}

.os_header_spacer {
	object-fit: fill;
}

.os_header_text {
	color: white;
}

.os_underline {
	text-decoration: underline;
}

.align-text-left {
	text-align: left;
}

.do_align_items_center {
	align-items: center;
}

.do_align_items_end {
	align-items: end;
}

.pump_label {
	font-weight: bold
}

.device_id {
	font-weight: bold
}

.device_label {
	font-weight: bold
}