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