Use slightly darker gray in code