--color-mario: #CF2222;
Mario — Mario is named for the bright red cap of the famous fictional plumber!