<svg width="<?php echo $size ?>" height="<?php echo $size ?>" viewBox="0 0 12 13" fill="none" xmlns="http://www.w3.org/2000/svg"> <path d="M9 6.5C9 6.79167 8.84135 7 8.65385 7H6.34615H5.65385H3.34615C3.14423 7 3 6.79167 3 6.52083C3 6.22917 3.14423 6 3.34615 6H5.65385H6.34615H8.65385C8.84135 6 9 6.22917 9 6.5Z" fill="#DB000D" /> <circle cx="6" cy="6.5" r="5.5" stroke="#DB000D" /> </svg>