.Covered { BORDER-RIGHT: #9c9c9c 1px solid;
           BORDER-TOP: #9c9c9c 1px solid;
           BACKGROUND: #00df00;
           BORDER-LEFT: #9c9c9c 1px solid;
           BORDER-BOTTOM: #9c9c9c 1px solid }
.Uncovered { BORDER-RIGHT: #9c9c9c 1px solid;
             BORDER-TOP: #9c9c9c 1px solid;
             BACKGROUND: #df0000;
             BORDER-BOTTOM: #9c9c9c 1px solid }
.Expect { BORDER-RIGHT: #9c9c9c 1px solid;
          BORDER-TOP: #9c9c9c 1px solid;
          BACKGROUND: orange;
          BORDER-BOTTOM: #9c9c9c 1px solid }
.Crashed { BORDER-RIGHT: #9c9c9c 1px solid;
           BORDER-TOP: #9c9c9c 1px solid;
           BACKGROUND: purple;
           color: white;
           BORDER-BOTTOM: #9c9c9c 1px solid }
.Error { color: red }
TABLE {
  border-spacing: 2px;
  border: black 1px solid;
}
TABLE.restable { border-spacing: 0px }
TD { vertical-align:top }
.singlefile { border: grey 1px solid }
TD.singlefile { border: grey 1px solid }
P { MARGIN-TOP: 0.5em;
    MARGIN-BOTTOM: 1em;
    LINE-HEIGHT: 1.5em }
.Failure { PADDING-LEFT: 2px;
           COLOR: red }
.Lower { BACKGROUND: #ffcccc }
.Greater { BACKGROUND: #ccffcc }
.Pass { PADDING-LEFT: 2px; COLOR: blue }
.TableHeader { FONT-WEIGHT: bold;
               BACKGROUND: #efefef;
               COLOR: black;
               horizontal-align: center }
A.Pass { COLOR: blue }
A.Expected { COLOR:orange }
A.Failure { COLOR: red }
A.Script { FONT-SIZE: 10pt;
           COLOR: #0000ff }