html {
font-family:DejaVu Sans, Bitstream Vera Sans, Arial, Sans;
}
#log .warning,
#log .warning a {
color: black;
background: yellow;
#log .error,
#log .error a {
color: white;
background: red;
#log pre {
border: 1px solid black;
padding: 1em;
section#summary {
margin-bottom:1em;
table#results {
border-collapse:collapse;
table-layout:fixed;
width:100%;
table#results th:first-child,
table#results td:first-child {
width:4em;
table#results th:last-child,
table#results td:last-child {
width:50%;
table#results.assertions th:last-child,
table#results.assertions td:last-child {
width:35%;
table#results th {
padding:0;
padding-bottom:0.5em;
border-bottom:medium solid black;
table#results td {
padding:1em;
border-bottom:thin solid black;
tr.pass > td:first-child {
color:green;
tr.fail > td:first-child {
color:red;
tr.timeout > td:first-child {
tr.notrun > td:first-child {
color:blue;
.pass > td:first-child, .fail > td:first-child, .timeout > td:first-child, .notrun > td:first-child {
font-variant:small-caps;
table#results span {
display:block;
table#results span.expected {
font-family:DejaVu Sans Mono, Bitstream Vera Sans Mono, Monospace;
white-space:pre;
table#results span.actual {