CSS/testcase.css

/* try with http://www.w3.org/2007/OWL/wiki/Test_Case_Experiment */

.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: #DDD;

}

.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;
   font-family: monospace;

}

.consistent-ontology , .inconsistent-ontology , .conclusion-ontology , .nonconclusion-ontology {

   white-space: pre;
   font-family: monospace;
   border: 1px dashed #2f6fab;
   background-color: #f9f9f9;
   width: 100%

}

.missing-argument {

   font-weight: bold;
   font-style: italic;
   color: red

}