div {
  background-color: #cc0000 \9; }