CSS/testcase.css

.test-case-table {

  padding: 1em;
  border-spacing: 0.5em;

}

.test-case-table th {

 padding: 3px;
 padding-left: 0.5em;
 padding-right: 0.5em;
 text-align: left;
 background: #CCC;

}

.test-case-table th a {

  text-decoration: none;
  color: black;

}

.test-case-table th:hover a {

  color: blue;
  text-decoration: underline;

}

.test-case-table td {

 padding: 0.4em;
 /* border: 1px solid black; */
 border: None;
 background: #F8F8F8;

}

.test-case-table .pre {

   white-space: pre;
   /* border: 1px solid blue; */
   border: None;
   background: #FFC;    

}

.test-case-table .nonconc {

   white-space: pre;
   /* border: 1px solid blue; */
   border: None;
   color: red;
   background: #FFC;    

}

.test-case-table .clog {

   border: None;
   background: #ffddee;    

}