This color has no precedent. We do use a lighter grey, `rgb(68. 68. 68)` for code. I'd prefer to not add more colors to the palette so please change to this.