.good {
	background-color: #72ff75;
        // background-color: green;
        }
.bad {
       //background-color: red;
       background-color: #ff7070;
       }
span.stdout {
  color: red;
  font-family: "Courier New", courier, monotype;
              }