/* Intentionally scoped to the class added only to the exact CBMC statement. */
.cbmc-statement-white-text,
.cbmc-statement-white-text *,
.cbmc-statement-white-text.elementor-heading-title,
.cbmc-statement-white-text .elementor-heading-title {
	color: #ffffff !important;
	-webkit-text-fill-color: #ffffff !important;
	opacity: 1 !important;
}