/* 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
}