:root{
--ef-primary-purple: #800000;
--ef-primary-purple-rgb-r: 128;
--ef-primary-purple-rgb-g: 0;
--ef-primary-purple-rgb-b: 0;
--ef-primary-purple-hsl-h: 0;
--ef-primary-purple-hsl-s: 100%;
--ef-primary-purple-hsl-l: 25%;
--ef-primary-blue: #717171;
--ef-primary-blue-rgb-r: 113;
--ef-primary-blue-rgb-g: 113;
--ef-primary-blue-rgb-b: 113;
--ef-primary-blue-hsl-h: 0;
--ef-primary-blue-hsl-s: 0%;
--ef-primary-blue-hsl-l: 44%;
}