.dbg_red {
background-color: red;
}
.dbg_gray {
background-color: gray;
}
.dbg_blue {
background-color: blue;
}