background-color: #cccccc; /* xxx */