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