/* css styles */

.executable {
   color: #087e99;
}

.nogo {
   color: #d46159;
}