.bkg_gray {
   background-color: RGB(216, 216, 216);
}
.is_up {font-size: smaller;
color: crimson;
}
.in_progress { font-size: smaller;
color: darkgreen;
}